Los pelados

Solo disponible en BuenasTareas
  • Páginas : 3 (629 palabras )
  • Descarga(s) : 0
  • Publicado : 25 de octubre de 2010
Leer documento completo
Vista previa del texto
REGLAS DE INFERENCIA
MODUS PONENS
En la lógica clásica, ponendo ponens Modus (América de la forma en que afirma, al afirmar,[1] a menudo abreviadoMP o modus ponens) es una váliday sencilla forma deargumento a veces se denomina afirmar el antecedente o la ley del desapego. 
Formal de la notación
El modus ponens regla puede ser escrita en posteriores notación:
[pic]
o en forma dereglas:
[pic]
tabla de verdad
|p |q |p → q |
|T |T |T |
|T|F |F |
|F |T |T |
|F |F |T|

Modus tollens

En la lógica clásica, modus tollens (o modus tollendo tollens) (latín para "la forma en que niega al negar") tiene la siguiente forma del argumento:Si P, entonces Q.
No Q.
Por lo tanto, no P.[3]
[pic]
[pic]
[pic]
("P es un subconjunto de Q. x no está en P. Por lo tanto, x no es en P.")
También en primer orden lalógica de predicados:

[pic]
[pic]
[pic]
tabla de verdad
La validez del modus tollens puede ser claramente demostrado a través de una tabla de verdad.
|p|q |p → q |
|T |T |T |
|T|F |F |
|F |T |T|
|F |F |T |

.
Resolución

Vemos que se puede aplicar a dos cláusulas...
tracking img