Um exemplo de tautologia é apresentado na alternativa:
Lista de símbolos:
→ Condicional
↔ Bicondicional
^ Conector “e”
v Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição
Lista de símbolos:
→ Condicional
↔ Bicondicional
^ Conector “e”
v Conector “ou”
v Conector “ou” exclusivo
¬ Negação da proposição