Equivalências Lógicas
Tautologia
- Proposição sempre é verdadeira.
Estudo ou não estudo.
Contradição
- Proposição é sempre falsa.
Estudo e não estudo.
Contingência
- Pode ser verdadeira ou falsa.
Contrapositiva
p → q = ~q → ~p
Condicional para disjunção: Regra do Neymar
p → q = ~p v q