Lista de Símbolos:

!$ \land !$ Conector “e”

!$ \lor !$ Conector “ou”

!$ \underline{\lor} !$ Conector “ou” exclusivo

!$ \Rightarrow !$ Conector “Se...então...”

!$ \Leftrightarrow !$ Conector “Se e somente se”

!$ \lnot !$ Negação de uma proposição