{"id":23,"date":"2007-12-11T15:00:27","date_gmt":"2007-12-11T13:00:27","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/12\/11\/clase_11\/"},"modified":"2008-01-27T17:25:32","modified_gmt":"2008-01-27T15:25:32","slug":"clase_11","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/12\/11\/clase_11\/","title":{"rendered":"Clase # 10 &#8220;Fin del Bloque II&#8221;"},"content":{"rendered":"<p><i>clase N\u00ba 10, 11 de Diciembre de 2007, Horario: 15:00 &#8211; 17:00, Carlos Villagr\u00e1.<\/i><\/p>\n<div align=\"justify\">\nHola, hoy hemos tenido nuestra clase n\u00famero 11 y nuestro segundo examinador referente a Interpretaci\u00f3n Sem\u00e1ntica.<\/p>\n<p>En la  primera parte de la clase Carlos ha resuelto nuestras dudas sobre los m\u00e9todos del cuadro y Davis-Putnam, los cuales estan desarrollados en la clase anterior. <\/p>\n<p>De todos los mecanismos vistos en el Bloque III, para la interpretaci\u00f3n sem\u00e1ntica de f\u00f3rmulas l\u00f3gicas y validaci\u00f3n de argumentos, mi m\u00e9todo preferido ha sido el <i>M\u00e9todo del Contraejemplo o M\u00e9todo Corto de Valoraci\u00f3n<\/i>, es muy f\u00e1cil de entender y de aplicarlo a las f\u00f3rmulas, el \u00fanico problema es que solo nos dice si el argumento es correcto o no, demostrando que es tautolog\u00eda en el caso de que sea correcto, pero en caso de no ser correcto, no nos dice si es Contradicci\u00f3n o Contingencia.<\/p>\n<p>Al contrario del M\u00e9todo del Contraejemplo, puedo decir que los m\u00e9todos mec\u00e1nicos, del <i>cuadro o Davis-Putnam<\/i> son muy completos, puesto que podemos saber si la f\u00f3rmula es Tautolog\u00eda, Contingencia o Contradicci\u00f3n, pero claro, tiene el inconveniente que supone tener a la formula proposicional en su Forma Normal Disyuntiva o Conjuntiva, respectivamente para el m\u00e9todo del Cuadro y Davis, adem\u00e1s, en atenci\u00f3n al paso 3 a seguir en el m\u00e9todo del cuadro y el paso 4 en el m\u00e9todo de Davis, que se corresponden a la descomposici\u00f3n de la f\u00f3rmula, para finalmente obtener su interpretaci\u00f3n sem\u00e1ntica, considero que este paso es un poco mas complicado de entender.<\/p>\n<p>Bueno! para finalizar, enlazo el Control que realizamos en la segunda parte de la clase, sobre el Bloque II de Sem\u00e1ntica, con la soluci\u00f3n de Carlos.<br \/>\n<a href='https:\/\/blogs.ua.es\/madbinnacle\/files\/2008\/01\/controlbii.pdf' title='Control Bloque II, modelo I.'>Control Bloque II, modelo I.<\/a>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>clase N\u00ba 10, 11 de Diciembre de 2007, Horario: 15:00 &#8211; 17:00, Carlos Villagr\u00e1. Hola, hoy hemos tenido nuestra clase n\u00famero 11 y nuestro segundo examinador referente a Interpretaci\u00f3n Sem\u00e1ntica. En la primera parte de la clase Carlos ha resuelto nuestras dudas sobre los m\u00e9todos del cuadro y Davis-Putnam, los cuales estan desarrollados en la [&hellip;]<\/p>\n","protected":false},"author":160,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[773,318],"tags":[],"class_list":["post-23","post","type-post","status-publish","format-standard","hentry","category-bloque-ii-semantica","category-clases-teoricas"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/23","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/users\/160"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/comments?post=23"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/23\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=23"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=23"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=23"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}