1 / 10

El lenguaje simbólico de la Lógica Proposicional

El lenguaje simbólico de la Lógica Proposicional. Reglas para la construcción del árbol semántico. 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.

doris
Download Presentation

El lenguaje simbólico de la Lógica Proposicional

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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 Disyunción. Regla de la Negación de la Disyunción. R.D. R.N.D. ()      Doble Rama del árbol. Rama del árbol.

  7. Reglas del condicional Regla del condicional. Regla de la Negación 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 Premisa pq 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. #

More Related