- Negação: Duas proposições que sempre tem valor lógico contrário
~ ou ¬
Lembrar também:
- Tautologia: É uma proposição composta que sempre é verdadeira (V). Ex.: (p v ¬p)
- Contradição: É uma proposição composta que sempre é falsa (F). Ex.: (p ^ ¬p)
- Contingência: É uma proposição composta que poderá ser verdadeira ou falsa, dependendo das composições simples que a compõe. Ex.: (p ^ ¬p)