04/Septiembre/2008 "Leyes de inferencia, Argumentos Remix"

Si llueve entonces hay nubes
Hay nubes
_________
No se concluye


Si haces la tarea te llevo al cine
te llevan al cine
________
No se concluye


Y esto se explica mediante las leyes de inferencia las determinaremos las cuales aplicaremos a lo anterior

P q
Si llueve hay nubes
hay nubes

P --> q
q
______
NO

P q
Si haces la tarea te llevo al cine
va al cine

P-->q
q
_____
NO


Para esto existen las tres leyes de inferencia las cuales son:

Modus Ponendo Ponens(MPP)

A-->C
A
_____
C

Modus Tollendo Tollens (MTT)

A--> C
¬C
_____
¬A

SD

A V B
¬A
_____
B


That's all folks!