FICHA DE APRENDIZAJE DEL TEMA 3

1.- ¿Qué significa interpretar una fórmula lógica? ¿y un razonamiento?
Interpretar una fórmula lógica es concretar el significado de cada uno de los símbolos que las conforman, en un dominio de referencia.
Interpretar un razonamiento es determinar la validez del mismo a partir de la interpretación de las fbf.
 

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.
Para demostrar la validez del razonamiento, se puede demostrar que el conjunto C={P1,P2,…Pn,¬Q} es insatisfacible aplicando la regla de resolución.
Sin embargo, la validez de un razonamiento esta dada por la coherencia entre las premisas y la conclusión.


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 las 5 (contraejemplo) como contradicción, para las 3 (que son modelo) se interpretaría como tautología, y para la 2^3 (interpretaciones) como contingencia.


4.- Si en un razonamiento R:P1,…Pn ⇒Q, de 2^n interpretaciones de sus fbf componentes, se interpretan:
a) Las premisas como verdaderas y la conclusión como falsa para 2^n / 2 interpretaciones.
 b) Para las otras 2^n / 2 restantes se interpretan las premisas y la conclusión como verdaderas.
¿Podemos asegurar que el razonamiento R no es correcto para el caso a) pero sí lo es para el caso b)? ¿O es correcto R ya que se da a) y b)? ¿O no es correcto R ya que se da a) y b)? Explica las respuestas.
No creo que pueda ser asegurado para ningún caso.


5.- Escribe algún link “interesante” para este tema que consideres importante o curioso.
http://es.wikipedia.org/wiki/Lógica_proposicional
http://es.wikipedia.org/wiki/Razonamiento
http://web.ing.puc.cl/~marenas/iic2212-08/clases/rp-b.pdf