{"id":55,"date":"2007-11-20T15:00:29","date_gmt":"2007-11-20T13:00:29","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2008\/01\/27\/segunda-clase-de-semantica\/"},"modified":"2008-01-27T22:23:35","modified_gmt":"2008-01-27T20:23:35","slug":"clase_2_semantica","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/11\/20\/clase_2_semantica\/","title":{"rendered":"Segunda Clase de Sem\u00e1ntica!!!"},"content":{"rendered":"
\nclase N\u00ba 7, 20 de Noviembre de 2007, Horario: 15:00 – 17:00, Carlos Villagr\u00e1.<\/i><\/p>\n

Hoy hemos continuado con la clase n\u00famero 2 sobre sem\u00e1tica, en este caso hemos visto T\u00e9cnicas y M\u00e9todos sem\u00e1nticos para interpretar f\u00f3rmulas proposicionales.<\/p>\n

De todos los m\u00e9todos vistos hoy el m\u00e1s pr\u00e1ctico me parece que es el del contraejemplo, aparte de que f\u00e1cil de entender el proceso no es muy largo, mientras que las tablas de verdad son un m\u00e9todo que se complica mucho cuando hay muchas variables.<\/p>\n

En el primer ejemplo que hicimos demostramos la satisfascibilidad de un conjunto de fbf.<\/p>\n

satisfacible1.jpg<\/a><\/div>\n

Este conjunto es satisfascible o cosistente.<\/p>\n

<\/br>
\n\ud83d\ude42 Hay Mecanismos que me dicen si la fbf es tautolog\u00eda, contradicci\u00f3n o contingencia.
\nEn la clase de hoy, solo vimos 2 m\u00e9todos:<\/p>\n

<\/br><\/p>\n

\n
  • TABLAS DE VERDAD<\/li>\n<\/div>\n

    Proceso:
    \n1\u00ba.- Determinar el n\u00ba de interpretaciones de la fbf (n\u00ba de filas).
    \n2\u00ba.- Construir la tabla de verdad
    \n2\u00ba.- Interpretar las componentes de la fbf seg\u00fan jerarqu\u00eda.
    \n3\u00ba.- Analizar la columna resultado (componente principal de fbf).
    \n4\u00ba.- Establecer valor sem\u00e1ntico conforme el conjunto de I. <\/p>\n

    La cantidad de columnas<\/strong> es el # de variables para el caso del mecanismo acumulativo, o el # de variables + 1 si es el mecanismo por pasos.
    \nLa cantidad de filas<\/strong>: n vbles; Vble i: 2n^ \/ 2^i valores V y valores F.<\/p>\n

    El siguiente ejemplo lo realizamos en clase utilizando tablas de verdad, por medio del mecanismo acumulativo.
    \n    tv.jpg<\/a><\/p>\n

    En este caso la f\u00f3rmula es Contingencia<\/em><\/strong>, puesto que una interpretacion que la hace verdadera y 7 que las hace falsa.<\/p>\n

    Veamos ahora el M\u00e9todo del Contraejemplo o Corto de Valoraci\u00f3n<\/i>
    \nAl aplicar este m\u00e9todo suponemos que las premisas son verdaderas y la conclusi\u00f3n falsa. Si encontramos una interpretaci\u00f3n que hace lo posible , dicha interpretaci\u00f3n es un contraejemplo del argumento y por tanto este no es correcto.
    \nSi hallamos una contradicci\u00f3n, el contraejemplo no vale, el argumento es correcto y todas las interpretaciones modelo.<\/p>\n

    Ejemplo 1<\/strong>
    \n    ejemplo_2.jpg<\/a>
    \n* He encontrado una interpretaci\u00f3n que me hace falsa la f\u00f3rmula y que por lo tanto no es tautolog\u00eda. Lo malo de este m\u00e9todo es que no puedo saber si es contradicci\u00f3n o contingencia.<\/p>\n

    Ejemplo 2<\/strong>
    \n    ejemplo3.jpg<\/a>
    \nAqu\u00ed en las flechas se se\u00f1ala que hay una contradicci\u00f3n y que por lo tanto la f\u00f3rmula es tautolog\u00eda. <\/p>\n

    Ejemplo 3 “EL ARGUMENTO DE LA CERVEZA”<\/strong>
    \n    beer.jpg<\/a>
    \nAl llegar a una contradicci\u00f3n, estamos demostrando que el argumento es correcto.<\/p>\n

    Aqu\u00ed enlazo la primera prueba l\u00f3gica del bloque II <\/a>PruebaLogica1BII<\/a><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

    clase N\u00ba 7, 20 de Noviembre de 2007, Horario: 15:00 – 17:00, Carlos Villagr\u00e1. Hoy hemos continuado con la clase n\u00famero 2 sobre sem\u00e1tica, en este caso hemos visto T\u00e9cnicas y M\u00e9todos sem\u00e1nticos para interpretar f\u00f3rmulas proposicionales. De todos los m\u00e9todos vistos hoy el m\u00e1s pr\u00e1ctico me parece que es el del contraejemplo, aparte de […]<\/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,323],"tags":[],"class_list":["post-55","post","type-post","status-publish","format-standard","hentry","category-bloque-ii-semantica","category-clases-teoricas","category-pruebas-logicas"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/55","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=55"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/55\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=55"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=55"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=55"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}