LEYES DE INFERENCIA

1. MODUS PONENDO PONENS

ANTECEDENTES

Hiptesis 1. p q VERDAD
Evidencia 2. p VERDAD
C1. q VERDAD

2. MODUS TOLLENDO TOLLENS

CONSECUENTE

1. p q AFIRMO
2. q AFIRMO
Consecuente
C1. p

3. ELIMINACION DE LA CONJUNCION

1. p q

C1) P C 2) P

En todas las leyes ah conjuncion ; la respuesta es la conclusion.

( p q) p

( p q) p

( p p) (q p)

(q p)

Q P

INTRODUCCION Y ELIMINACION DE LA CONJUNCION

1) p q = verdad

c1) p = verdad ELIMINACION DE LA

CONJUNCION

c2) q = verdad

INTRUDUCCION DE LA CONJUNCION
 Eliminar una conjuncion es facil pero crearle o inducirle es dificil.

1) p verdad
2) q verdad
p q verdad

INTRODUCCION Y ELIMINACION DE LA DISYUNCION