{"id":64,"date":"2007-12-04T15:00:25","date_gmt":"2007-12-04T13:00:25","guid":{"rendered":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/12\/04\/demostracion-semantica-de-la-validez-de-un-argumento-p1-p2-%e2%80%a6-pn-q\/"},"modified":"2008-02-01T21:47:23","modified_gmt":"2008-02-01T19:47:23","slug":"demostracion-semantica-de-la-validez-de-un-argumento-p1-p2-%e2%80%a6-pn-q","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/madbinnacle\/2007\/12\/04\/demostracion-semantica-de-la-validez-de-un-argumento-p1-p2-%e2%80%a6-pn-q\/","title":{"rendered":"DEMOSTRACI\u00d3N SEM\u00c1NTICA DE LA VALIDEZ DE UN ARGUMENTO. P1, P2 , \u2026 Pn => Q"},"content":{"rendered":"

\nclase N\u00ba 9, 04 de diciembre de 2007, Horario: 15:00 – 17:00, Carlos Villagr\u00e1.<\/i><\/p>\n

Esta ha sido nuestra \u00faltima clase de sem\u00e1ntica puesto que la semana que viene es el control del bloque.<\/p>\n

La clase de hoy ha estado dedicada a demostraci\u00f3n de validez de argumentos, como ya sabemos podemos hacer por medio de tablas de verdad, por el m\u00e9todo del contraejemplo y por medio de los m\u00e9todos del Cuadro y Davis Putnam, los cuales estudiamos en semanas pasadas.
\nHemos demostrado el tan conocido argumento de la cerveza con los dos m\u00e9todos mec\u00e1nicos, el cual ya hemos demostrado anteriormente con el m\u00e9todo del contraejemplo. En este ejemplo veremos que parece un poco largo, pero es solo por el hecho de normalizar el argumento FND y FNC.<\/p>\n

Dadas unas premisas y una conclusi\u00f3n, puede decirse que Q es consecuencia l\u00f3gica si es la conclusi\u00f3n de un argumento correcto de premisas y conclusion cierta. <\/p>\n

Para validar argumentos podemos:<\/p>\n

  • Aplicar las tablas de verdad y ver si alguna fila es Interpretaci\u00f3n Contramodelo, es decir que haga falsa la f\u00f3rmula.<\/li>\n
  • Aplicar M\u00e9todo del contraejemplo y ver si aparece una contradicci\u00f3n.<\/li>\n
  • Usar los M\u00e9todos Mec\u00e1nicos y demostrar que<\/li>\n
    mm.jpg<\/a><\/div>\n

    <\/br>
    \nArgumento de la Cerveza con el M\u00e9todo del Cuadro<\/strong>
    \n<\/p>\n

    \u00acce \u2192 vi; ce \u2227 vi \u2192 \u00acan; vi \u2192 an \u2227 ce \u21d2 ce<\/div>\n

    <\/strong><\/p>\n

    \u00ac(\u00acce \u2192 vi) v \u00ac(ce \u2227 vi \u2192 \u00acan) v \u00ac(vi \u2192 an \u2227 ce) v ce
    \n\u00ac(ce v vi) v \u00ac(\u00ac(ce \u2227 vi) v \u00acan) v \u00ac(\u00acvi v (an \u2227 ce)) v ce
    \n(\u00acce \u2227 \u00acvi) v \u00ac(\u00acce v \u00acvi v \u00acan) v (vi \u2227 \u00ac(an \u2227 ce)) v ce
    \n(\u00acce \u2227 \u00acvi) v (ce \u2227 vi \u2227 an) v (vi \u2227 \u00acan v \u00acce) v ce
    \n(\u00acce \u2227 \u00acvi) v (ce \u2227 vi \u2227 an) v (vi \u2227 \u00acan) v (vi \u2227 \u00acce) v ce FND<\/strong><\/p>\n

    Aplicando el M. C.
    \n1) No es cotradicci\u00f3n
    \n2) ce = F<\/font>
    \n(V \u2227 \u00acvi) v (F \u2227 vi \u2227 an) v (vi \u2227 \u00acan) v (vi \u2227 V) v F
    \n\u00acvi v (vi \u2227 \u00acan) v vi
    \n\u00acvi<\/strong> v vi<\/strong> v (vi \u2227 \u00acan) TAUTOLOG\u00cdA<\/p>\n

    <\/br>
    \n
    <\/br>
    \nArgumento de la Cerveza con el M\u00e9todo de Davis-Putnam<\/strong>
    \n<\/p>\n

    \u00acce \u2192 vi; ce \u2227 vi \u2192 \u00acan; vi \u2192 an \u2227 ce \u21d2 ce<\/div>\n

    <\/strong><\/p>\n

    (\u00acce \u2192 vi) \u2227 (ce \u2227 vi \u2192 \u00acan) \u2227 (vi \u2192 an \u2227 ce) \u2227 \u00acce
    \n(\u00ac\u00acce v vi) \u2227 (\u00ac(ce \u2227 vi) v \u00acan) \u2227 (\u00acvi v (an \u2227 ce)) \u2227 \u00acce
    \n(ce v vi) \u2227 (\u00acce v \u00acvi v \u00acan) \u2227 (\u00acvi v (an \u2227 ce)) \u2227 \u00acce
    \n(ce v vi) \u2227 (\u00acce v \u00acvi v \u00acan) \u2227 (\u00acvi v an) \u2227 (\u00acvi v ce) \u2227 \u00acce<\/p>\n

    Aplicando el M. D-P
    \n1) No es Tautolog\u00eda
    \n2) \u00acce = V<\/font>
    \n(F v vi) \u2227 (V v \u00acvi v \u00acan) \u2227 (\u00acvi v an) \u2227 (\u00acvi v F) \u2227 V
    \nvi \u2227 V \u2227 (\u00acvi v an) \u2227 \u00acvi
    \nvi \u2227 (\u00acvi v an) \u2227 \u00acvi
    \nvi \u2227 \u00acvi \u2227 (\u00acvi v an)
    \nF \u2227 (\u00acvi v an)
    \nF = CONTRADICCI\u00d3N<\/p>\n

    Aqui enlazo la segunda prueba l\u00f3gica del Bloque IIpruebalogica2bii.pdf<\/a>
    \n<\/font><\/div>\n","protected":false},"excerpt":{"rendered":"

    clase N\u00ba 9, 04 de diciembre de 2007, Horario: 15:00 – 17:00, Carlos Villagr\u00e1. Esta ha sido nuestra \u00faltima clase de sem\u00e1ntica puesto que la semana que viene es el control del bloque. La clase de hoy ha estado dedicada a demostraci\u00f3n de validez de argumentos, como ya sabemos podemos hacer por medio de tablas […]<\/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":[787],"class_list":["post-64","post","type-post","status-publish","format-standard","hentry","category-bloque-ii-semantica","category-clases-teoricas","category-pruebas-logicas","tag-787"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/64","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=64"}],"version-history":[{"count":0,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/posts\/64\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/media?parent=64"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/categories?post=64"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/madbinnacle\/wp-json\/wp\/v2\/tags?post=64"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}