Formas de inferência válidas

FORMAS DE INFERÊNCIA VÁLIDAS

FORMAS DE INFERÊNCIA INVÁLIDAS

FORMAS DE INFERÊNCIA VÁLIDAS

MODUS PONENS Afirma o antecedente ∴ Afirma a consequente	(P → Q) P ∴   Q
MODUS TOLLENS Nega a consequente ∴ Nega a antecedente	(P → Q) ¬Q ∴ ¬P

1ª LEI DE MORGAN	¬ (P ∧ Q) ∴ (¬P V ¬Q)
2ª LEI DE MORGAN	¬ (P V Q) ∴ (¬P ∧ ¬Q)

SILOGISMO HIPOTÉTICO	(P → Q) (Q → R) ∴ (P → R)
SILOGISMO DISJUNTIVO	(P V Q) ¬P ∴ Q	(P V Q) ¬Q ∴ P

CONTRAPOSIÇÃO

(P → Q) ∴ (¬Q → ¬P)