Quadrado de Oposição
1. Duas proposições A e O, E e I, são contraditórias se e somente se, se A é verdadeira e então O é falsa, respectivamente; se E é verdadeira, então I é falsa.
2. Duas proposições A e E são contrárias se, e somente se, não podem ambas ser verdadeiras, mas podem ambas ser falsas.
3. Duas proposições I ou O são contraditórias de contrárias se, e somente se, podem ser ambas verdadeiras, mas não podem ser ambas falsas.
4. Duas proposições A e I, E e O, são subalternas se, e somente se, A implica I, respectivamente, e E implica O.
Tabela de inferências
| Premissa | Conclusão | Inferência |
|---|---|---|
| A | B | A => B |
| falso | falso | verdadeiro |
| falso | verdadeiro | verdadeiro |
| verdadeiro | falso | falso |
| verdadeiro | verdadeiro | verdadeiro |
Se as premissas são falsas e a inferência é valida, a conclusão pode ser verdadeira ou falsa. Se as premissas são verdadeiras e a conclusão é falsa, a inferência é inválida. Se as premissas são verdadeiras e a inferência é válida, a conclusão tem que ser verdadeira. Se um argumento é válido e parte de premissas verdadeiras, a conclusão é verdadeira.
- Ver : falácias lógicas.
Editado por (OBraga)
