El lenguaje simbólico de la Lógica Proposicional

Presentación del tema: "El lenguaje simbólico de la Lógica Proposicional"— Transcripción de la presentación:

1 El lenguaje simbólico de la Lógica Proposicional
Reglas para la construcción del árbol semántico

2 Sentido de una regla de transformación o de inferencia.
Expresiones objeto de transformación Línea de inferencia Ejemplo EE.CC.AA EE.CC.OO Expresiones correctas resultado de la transformación

3 Juego de los árboles semánticos.
...es obtenible a partir de... Concepto puramente sintáctico Expresiones a las que tenemos que llegar mediante las reglas del cálculo  ├  ├ E.C.O. E.C.P.A. Son las expresiones de las que partimos para jugar.

4       Reglas iniciales R.R. Regla de Repetición. D.N.
Doble Negación.     Rama del árbol. Rama del árbol.  

5 Reglas de la conjunción
Regla de la Negación de la Conjunción. R.C. Regla de la Conjunción. R.N.C.  ()    Rama del árbol.  Doble Rama del árbol.

6 Reglas de la disyunción
Regla de la Negación de la Disyunción. Regla de la Disyunción. R.D. R.N.D.  ()     Doble Rama del árbol. Rama del árbol.

7 Reglas del condicional
Regla de la Negación del condicional. Regla del condicional. R.C. R.N.C.  ()     Doble Rama del árbol. Rama del árbol.

8 Reglas del bicondicional
Regla del bicondicional. Regla de la Negación del bicondicional. R.B. R.N.B.  ()         Doble Rama del árbol. Doble Rama del árbol.

9 Ejemplo de la aplicación del árbol semántico
Presentación del juego: pq ├ qp pq Premisa Planteamiento del juego: Negación de la expresión que se quiere obtener (qp) N. Conclusión p q R. C q p R. D. # p R. R. #

10 Ejemplo 2 de la aplicación del árbol semántico
Presentación del juego: pq, q ├ p pq Premisa Planteamiento del juego: q Premisa p Negación de la expresión que se quiere obtener N. Conclusión p R. D.N. p q R. C. # q R. R. #