Lógica proposicional reglas de inferencia

7,676 views
6,726 views

Published on

0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
7,676
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
109
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

Lógica proposicional reglas de inferencia

  1. 1. Fundamentos Informáticos Lógica Proposicional: Reglas de inferencia
  2. 2. Reglas de Inferencia• Las reglas de inferencia nos permiten encontrar una conclusión a partir de varios enunciados.• En este programa, solamente aprenderemos a distinguir el modelo de inferencia, dado un ejemplo; o, a encontrar la conclusión dadas las premisas.• Solamente se estudiará la aplicación de: – Modus Ponendo Ponens – Modus Tollendo Tollens – Modus Tollendo Ponens – Silogismo Hipotético – Silogismo Disyuntivo
  3. 3. Reglas de Inferencia• Reglas de Inferencia
  4. 4. Reglas de Inferencia• Reglas de Inferencia
  5. 5. Reglas de Inferencia• Reglas de Inferencia
  6. 6. Ejercicios• Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. La Luna es mayor que la Tierra. Por tanto, ….• P1: Si no tenemos la información certificada, entonces no la podremos publicar. P2: Podemos publicar la información certificada.C: Tenemos la información certificad.
  7. 7. GRACIAS

×