1. ¿Qué significa interpretar una fórmula lógica? ¿y un razonamiento?
Interpretar las formulas logicas obtenidas de la formalizacion de sentencias del lenguaje natural mediante el lenguaje de la logica de primer orden se refiere a concretar el significado(la semantica) de cada uno de los simbolos que las conforman, en un dominio de referencia. Una vez interpretados estos simbolos que forman parte de la formula logica esta quedara interpretada y con ello se podra determinar la validez del razonamiento del que forman parte.
2.Explica la relación que hay entre demostrar que el conjunto C = {cláusulas –premisas, cláusulas‐negación -Conclusión } es insatisfacible y la validez de un razonamiento.
Segun la definición, un razonamiento R es correcto si y solo si el conjunto de formulas C = {cláusulas –premisas, cláusulas‐negación – ¬Conclusión } es insatisfacible.
3.Si una fórmula lógica A tiene 2^3 interpretaciones de las cuales 3 son modelos y 5 contraejemplo ¿cómo se interpreta A para una de las interpretaciones modelo? ¿Para una de las interpretaciones contraejemplo? ¿Y para las 2^3 interpretaciones?
Para una de las interpretaciones modelo A se interpreta como tautología.
Para una de las interpretaciones contraejemplo A se interpreta como contradicción.
Y para todas sus interpretaciones se interpreta como contingente.
Algunos links interesantes:
http://www.mitecnologico.com/Main/SistemasDeRazonamientoLogico