Note e adote a lista de símbolos: ∧ Conector “e” ; ∨ Conector “ou”; ∨ Conector “ou” exclusivo; → Conector “Se...então...” ; ↔ Conector “Se e somente se”; ~ Negação de uma proposição.