Equivalências Lógicas Flashcards
1
Q
De Morgan
A
~(p ˄ q) ↔ (~ p ˅ ~q)
~(p ˅ q) ↔ (~p ˄ ~q)
2
Q
Associação
A
[p ˅ (q ˅ r)] ↔ [(p ˅ q) ˅ r]
[p ˄ (q ˄ r)] ↔ [(p ˄ q) ˄ r]
3
Q
Comutação
A
(p ˅ q) ↔ (q ˅ p)
(p ˄ q) ↔ (q ˄ p)
4
Q
Distribuição
A
[p ˄ (q˅ r)] ↔ [(p ˄ q) ˅ (p ˄ r)]
[p ˅ (q ˄ r)] ↔ [(p ˅ q) ˄ (p ˅ r)]
5
Q
Dupla Negação
A
p ↔ ~~ p
6
Q
Implicação Material
A
(p→ q) ↔ (~p ˅ q)
7
Q
Transposição
A
(p → q) ↔ (~q → ~p)
8
Q
Equivalência Material
A
(p ↔ q) ↔ [(p → q) ˄ (q → p)]
(p ↔ q) ↔ [(p ˄ q) ˅ (~p ˄ ~ q)]
9
Q
Tautologia
A
p ↔ (p ˅ p)
p ↔ (p ˄ p)
10
Q
Exportação
A
[(p ˄ q) → r] ↔ [p → (q → r)]
