Lista de símbolos:
⇒ Condicional
⇔ Bicondicional
∧ Conector “e”
∨ Conector “ou”
∨ Conector “ou” exclusivo
¬ Negação da proposição
Provas
Questão presente nas seguintes provas
Um exemplo de contradição é mostrado na alternativa:
