{"id":2401,"date":"2012-12-11T16:31:36","date_gmt":"2012-12-11T16:31:36","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=2401"},"modified":"2013-03-08T05:47:37","modified_gmt":"2013-03-08T05:47:37","slug":"li2012-equivalencias-logicas-y-tableros-semanticos-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2012-equivalencias-logicas-y-tableros-semanticos-de-primer-orden\/","title":{"rendered":"LI2012: Equivalencias l\u00f3gicas y tableros sem\u00e1nticos de primer orden"},"content":{"rendered":"<p>La clase de hoy del curso <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\">L\u00f3gica Inform\u00e1tica<\/a> ha tenido tres partes.<\/p>\n<p>En la primera parte, se ha demostrado por deducci\u00f3n natural las principales equivalencias en l\u00f3gica de primer orden.<\/p>\n<p>En la segunda parte, se ha presentado un nuevo sistema deductivo: los tableros sem\u00e1nticos de primer orden como ampliaci\u00f3n del presentado en el <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/tema-3.pdf\">tema 3<\/a> para la l\u00f3gica proposicional.<\/p>\n<p>En la tercera parte, se ha comentado la soluci\u00f3n de los siguientes ejercicios de formalizaci\u00f3n:<\/p>\n<ul>\n<li> La existencia de alg\u00fan canal de TV p\u00fablica, supone un acicate para cualquier canal de TV privada; el que un canal de TV tenga un acicate, supone una gran satisfacci\u00f3n para cualquiera de sus directivos; en Madrid hay varios canales p\u00fablicos de TV; TV5 es un canal de TV privada; por tanto, todos los directivos de TV5 est\u00e1n satisfechos.\n<li> Todo individuo que est\u00e9 conforme con el contenido de cualquier acuerdo internacional lo apoya o se inhibe en absoluto de asuntos pol\u00edticos. Cualquiera que se inhiba de los asuntos pol\u00edticos, no participar\u00e1 en el pr\u00f3ximo refer\u00e9ndum. Todo espa\u00f1ol, est\u00e1 conforme con el acuerdo internacional de Maastricht, al que sin embargo no apoya. Por tanto, cualquier individuo o no es espa\u00f1ol, o en otro caso, est\u00e1 conforme con el contenido del acuerdo internacional de Maastricht y no participar\u00e1 en el pr\u00f3ximo refer\u00e9ndum.\n<\/ul>\n<p>Adem\u00e1s, se ha demostrado mediante tableros sem\u00e1nticos la correcci\u00f3n de ambos argumentos.<\/p>\n<p>Como tarea pendientes se propone la resoluci\u00f3n de los ejercicios del tema 9 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\/temas\/ejercicios-LI-2012-13.pdf\">libro de ejercicios<\/a>.\n<\/ul>\n<p>Las transparencias de esta clase son las finales del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/tema-8.pdf\">tema 8<\/a> y las del<br \/>\n<a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-12\/temas\/tema-9.pdf\">tema 9<\/a> que se muestran a continuaci\u00f3n<br \/>\n<!--more--><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/8053649' width='1290' height='1057' sandbox=\"allow-popups allow-scripts allow-same-origin allow-presentation\" allowfullscreen webkitallowfullscreen mozallowfullscreen><\/iframe><\/div><br \/>\n<div class=\"jetpack-video-wrapper\"><iframe src='https:\/\/www.slideshare.net\/slideshow\/embed_code\/8053781' width='1290' height='1057' sandbox=\"allow-popups allow-scripts allow-same-origin allow-presentation\" allowfullscreen webkitallowfullscreen mozallowfullscreen><\/iframe><\/div><\/p>\n","protected":false},"excerpt":{"rendered":"<p>La clase de hoy del curso L\u00f3gica Inform\u00e1tica ha tenido tres partes. En la primera parte, se ha demostrado por deducci\u00f3n natural las principales equivalencias en l\u00f3gica de primer orden. En la segunda parte, se ha presentado un nuevo sistema deductivo: los tableros sem\u00e1nticos de primer orden como ampliaci\u00f3n del presentado en el tema 3&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[297],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2401"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=2401"}],"version-history":[{"count":2,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2401\/revisions"}],"predecessor-version":[{"id":2726,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/2401\/revisions\/2726"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=2401"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=2401"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=2401"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}