Reglas de inferencia

1. Modus Tollens 2. Modus ponens 3. Silogismo hipotético

[(p =>q). - q] =>- p [(p =>q). p] =>q [(p =>q). (q =>r)] => (p =>r)

(p =>q) (p =>q) (p =>q)

-q p (q =>r)
-p q --------------------
(p =>r)

4. Conjunción p / q => (p.q) 5. Adición p => (p v q) 6. Simplificación (p.q) => p

p p p. q
q pvq p
p.q

7. Silogismo disyuntivo
[(p v q) . –p] => q

(p v q)
–p
q

Leyes Lógicas 2. De Morgan 3. Conmutación

1. Doble negación - (p.q) <=> -p v - q (p.q) <=> (q.p)

- - p <=> p
-(pv q) <=> (-p . - q) (pv q) <=> (qvp)

4. Definición de condicional

(p => q) <=> (-p v q)

(p => q) <=> - (p .- q)