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
Sejam as proposições P: “Maria é alta” e Q: “Maria é gaúcha”, a linguagem simbólica que expressa a proposição “Se Maria é alta, então é gaúcha” corresponde a:
