Equivalências e negações
Raciocínio Lógico · 5 min de leitura · grátis
| Proposição | Equivalente | Negação |
|---|---|---|
| p ∧ q | q ∧ p | ~p ∨ ~q |
| p ∨ q | ~p → q | ~p ∧ ~q |
| p → q | ~q → ~p (contrapositiva); ~p ∨ q | p ∧ ~q |
| p ↔ q | (p → q) ∧ (q → p) | p ⊻ q |
| Todo A é B | Nenhum A não é B | Algum A não é B |
| Algum A é B | Nenhum A é B |
A recíproca (q → p) e a inversa (~p → ~q) não são equivalentes a p → q.