REGLAS DE INFERENCIA MODUS PONENDO PONENS (MPP) ((p q) p) q ((p V V F F q) V F V F p) V V F F q V F V F MODUS TOLLENDO TOLLENS (MTT) ((p q) q) p ((p V V F F q) V F V F q) F V F V p F F V V MODUS
TOLLENDO PONENS (MTP) ((p q) p) q ((p V V F F q) V F V F p) F F V V
V F V V
V F F F
V V V V
V F V V
F F F V
V V V V
V V V F
F F V F
V V V V
SILOGISMO HIPOTETICO (S.H) ((p q) (q r)) (p ((p V V F F q) V F V F (q V V F F r)) V F V F
r) (p V V F F r) V V F F
SILOGISMO DISYUNTIVO (S.D) ((p q) p) q ((p V V F F q) V F V F p) F F V V q V F V F
V F V V
V F V V
V F V V
V V V V
V V V V
V V V F
F F V F
V V V V
DILEMA CONSTRUCTIVO ,* (p q) (r s) + (p V r) - ( q V s ) [(p V V F F V F V V q) V F V F V F V V (r V V F F V F V V s)] V F V F V F F F (p V V F F V V V F F r)} V V F F V V V V (q V F V F V V F V F s) V F V F