clase Nº 10, 11 de Diciembre de 2007, Horario: 15:00 – 17:00, Carlos Villagrá.
En la primera parte de la clase Carlos ha resuelto nuestras dudas sobre los métodos del cuadro y Davis-Putnam, los cuales estan desarrollados en la clase anterior.
De todos los mecanismos vistos en el Bloque III, para la interpretación semántica de fórmulas lógicas y validación de argumentos, mi método preferido ha sido el Método del Contraejemplo o Método Corto de Valoración, es muy fácil de entender y de aplicarlo a las fórmulas, el único problema es que solo nos dice si el argumento es correcto o no, demostrando que es tautología en el caso de que sea correcto, pero en caso de no ser correcto, no nos dice si es Contradicción o Contingencia.
Al contrario del Método del Contraejemplo, puedo decir que los métodos mecánicos, del cuadro o Davis-Putnam son muy completos, puesto que podemos saber si la fórmula es Tautología, Contingencia o Contradicción, pero claro, tiene el inconveniente que supone tener a la formula proposicional en su Forma Normal Disyuntiva o Conjuntiva, respectivamente para el método del Cuadro y Davis, además, en atención al paso 3 a seguir en el método del cuadro y el paso 4 en el método de Davis, que se corresponden a la descomposición de la fórmula, para finalmente obtener su interpretación semántica, considero que este paso es un poco mas complicado de entender.
Bueno! para finalizar, enlazo el Control que realizamos en la segunda parte de la clase, sobre el Bloque II de Semántica, con la solución de Carlos.
Control Bloque II, modelo I.