{"id":1726,"date":"2011-11-30T20:05:38","date_gmt":"2011-11-30T20:05:38","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/?p=1726"},"modified":"2013-03-08T05:48:59","modified_gmt":"2013-03-08T05:48:59","slug":"li2011-12-consecuencias-logicas-y-tableros-semanticos-de-primer-orden","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/li2011-12-consecuencias-logicas-y-tableros-semanticos-de-primer-orden\/","title":{"rendered":"LI2011-12: Consecuencias 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-10\">L\u00f3gica Inform\u00e1tica<\/a> ha tenido dos partes.<\/p>\n<p>En la primera parte, se ha completado el estudio de la sem\u00e1ntica de la l\u00f3gica de primer orden introduciendo los conceptos de consistencia, consecuencia l\u00f3gica y equivalencia. Se ha explicado la metodolog\u00eda de b\u00faqueda sem\u00e1ntica de modelos y contramodelos.<\/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-11\/temas\/tema-3.pdf\">tema 3<\/a> para la l\u00f3gica proposicional.<\/p>\n<p>Adem\u00e1s, se ha presentado el sistema <a href=\"http:\/\/www.umsu.de\/logik\/trees\/\">Tree Proof Generator<\/a> que busca autom\u00e1ticamente el tablero sem\u00e1ntico correspondiente a la f\u00f3rmula introducida.<\/p>\n<p>Como tarea pendientes se propone la resoluci\u00f3n de los ejercicios del tema 8 del <a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-11\/temas\/ejercicios-LI-2011-12.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-11\/temas\/tema-6.pdf\">tema 6<\/a> y las del<br \/>\n<a href=\"http:\/\/www.cs.us.es\/~jalonso\/cursos\/li-10\/temas\/tema-8.pdf\">tema 8<\/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\/10317649' 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 dos partes. En la primera parte, se ha completado el estudio de la sem\u00e1ntica de la l\u00f3gica de primer orden introduciendo los conceptos de consistencia, consecuencia l\u00f3gica y equivalencia. Se ha explicado la metodolog\u00eda de b\u00faqueda sem\u00e1ntica de modelos y contramodelos. En la segunda parte,&#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":[183],"tags":[182],"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\/1726"}],"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=1726"}],"version-history":[{"count":3,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1726\/revisions"}],"predecessor-version":[{"id":2898,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/1726\/revisions\/2898"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=1726"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=1726"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=1726"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}