quinta-feira, 15 de novembro de 2018

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)

Sem comentários:

Publicar um comentário

Related Posts Plugin for WordPress, Blogger...