Silogismo disjuntivo
De Wikipedia, a enciclopédia encyclopedia
O silogismo disjuntivo, também conhecido historicamente como modus tollendo ponens, é uma forma de argumento simples, classifica-se válido, do tipo:
- P ou Q
- Não P
- Logo, Q
Este artigo não cita fontes confiáveis. (Abril de 2013) |
Um exemplo cotidiano:
Ele tem mais que 16 anos ou ele é criança.
- Ele não tem mais que 16 anos.
- Logo, ele é criança
Na notação logica:
,
onde representa a relação de consequência lógica.
A razão para este argumento anterior ser chamado de "silogismo disjuntivo" é: primeiro, é um silogismo de um argumento com três passos e, finalmente, por conter uma disjunção.