Hola un d\u00eda mas, en la entrada de hoy voy a hablar de lo dado en la sesi\u00f3n del 5\/10\/2010<\/p>\n
En esta sesi\u00f3n terminamos de dar l\u00f3gica de predicados y m\u00e1s tarde, comenzamos a aprender como demostrar la verdad de un razonamiento.<\/p>\n
Cuantificadores:<\/strong><\/p>\n En esta sesi\u00f3n hemos aprendido que normalmente, cuando aparece un \u201ctodos los individuos\u201d\u00a0se coloca \u2200, cuando aparece un \u201cno todos lo individuos\u201d\u00a0se coloca \u00ac\u2200 , cuando hay un \u201calg\u00fan individuo\u201d empleamos la \u2203 y cuando apreciamos un \u201cnadie\u201d \u00a0empleamos un \u00ac\u2203\u00a0 al principio de la formalizaci\u00f3n.<\/p>\n La negaci\u00f3n de \u00ac\u2200 significa no todos.<\/p>\n La negaci\u00f3n de \u00ac\u2203\u00a0significa ninguno.<\/p>\n Cuando tenemos una f\u00f3rmula con uno de los dos cuantificadores y queremos cambiar uno de ellos por el otro tenemos que tener en cuenta las Leyes de Equivalencia:<\/p>\n A\u2192B \u039e \u00ac(A\u03bdB) \u039e \u00acA\u2192\u00acB \u039e \u00ac(A^\u00acB)<\/p>\n Enunciado cuantificadores:<\/p>\n \u00ac<\/strong>\u2200x P(x) \u00a0no todos los x tienen la propiedad P<\/strong><\/p>\n \u2203x\u00acP(x) \u00a0hay alg\u00fan x que no tiene la propiedad P<\/strong><\/p>\n \u2200x\u00acP(x) \u00a0todos los x no tienen la propiedad P<\/p>\n \u00ac\u2203xP(x) \u00a0no existe ning\u00fan x que tenga la propiedad P<\/p>\n \u00ac<\/strong>\u2203x\u00acP(x) \u00a0no hay ning\u00fan x que posea la propiedad no P<\/strong><\/p>\n \u2200 xP(x) \u00a0todos los x verifican P<\/strong><\/p>\n \u00ac\u2200 x\u00acP(x) \u00a0no todos los x carecen de la propiedad P<\/p>\n \u2203xP(x) \u00a0hay alg\u00fan x que tiene la propiedad P<\/p>\n <\/span><\/strong><\/p>\n <\/span><\/strong><\/p>\n Demostraci\u00f3n sem\u00e1ntica de razonamientos:<\/span><\/strong> <\/strong><\/p>\n Definiremos la sem\u00e1ntica de la l\u00f3gica de primer orden como la interpretaci\u00f3n de elementos de f\u00f3rmulas o los aspectos del significado, se podr\u00eda decir que es la teor\u00eda que nos da reglas para hallar el valor de verdad de una f\u00f3rmula, demostrar razonamientos y detectar falacias o razonamientos no correctos.<\/p>\n Para hallar el valor de verdad de una f\u00f3rmula hay que tener presente el principio de bivalencia: una proposici\u00f3n es verdadera o falsa.<\/p>\n Para poder demostrar los razonamientos tenemos que interpretar\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0Interpretar: Dar significado a los componentes del problema y extraer conclusiones que ser\u00e1n verdadesras o falsas seg\u00fan la informaci\u00f3n que nos den<\/p>\n Cada conectiva genera una interpretaci\u00f3n, para ver que hacer tendremos que elaborar las tablas de verdad:<\/p>\n Hola un d\u00eda mas, en la entrada de hoy voy a hablar de lo dado en la sesi\u00f3n del 5\/10\/2010 En esta sesi\u00f3n terminamos de dar l\u00f3gica de predicados y m\u00e1s tarde, comenzamos a aprender como demostrar la verdad de un razonamiento. Cuantificadores: En esta sesi\u00f3n hemos aprendido que normalmente, cuando aparece un \u201ctodos los […]<\/p>\n","protected":false},"author":1754,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-34","post","type-post","status-publish","format-standard","hentry","category-general"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/34","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/users\/1754"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/comments?post=34"}],"version-history":[{"count":2,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/34\/revisions"}],"predecessor-version":[{"id":36,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/posts\/34\/revisions\/36"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/media?parent=34"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/categories?post=34"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/dar15\/wp-json\/wp\/v2\/tags?post=34"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\n\n
\n P<\/td>\n \u2192<\/td>\n Q<\/td>\n <\/td>\n P<\/td>\n ^<\/td>\n Q<\/td>\n <\/td>\n P<\/td>\n v<\/td>\n Q<\/td>\n <\/td>\n P<\/td>\n \u2194<\/td>\n Q<\/td>\n<\/tr>\n \n V<\/td>\n V<\/td>\n V<\/td>\n <\/td>\n V<\/td>\n V<\/td>\n V<\/td>\n <\/td>\n V<\/td>\n V<\/td>\n V<\/td>\n <\/td>\n V<\/td>\n V<\/td>\n V<\/td>\n<\/tr>\n \n V<\/td>\n F<\/td>\n F<\/td>\n <\/td>\n V<\/td>\n F<\/td>\n F<\/td>\n <\/td>\n V<\/td>\n V<\/td>\n F<\/td>\n <\/td>\n V<\/td>\n F<\/td>\n F<\/td>\n<\/tr>\n \n F<\/td>\n V<\/td>\n V<\/td>\n <\/td>\n F<\/td>\n F<\/td>\n V<\/td>\n <\/td>\n F<\/td>\n V<\/td>\n V<\/td>\n <\/td>\n F<\/td>\n F<\/td>\n V<\/td>\n<\/tr>\n \n F<\/td>\n V<\/td>\n F<\/td>\n <\/td>\n F<\/td>\n F<\/td>\n F<\/td>\n <\/td>\n F<\/td>\n F<\/td>\n F<\/td>\n <\/td>\n F<\/td>\n V<\/td>\n F<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"excerpt":{"rendered":"