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

q V F V F