Lista de símbolos:
!$ → !$ Condicional
!$ ↔ !$ Bicondicional
!$ ∧ !$ Conector “e”
!$ ∨ !$ Conector “ou”
!$ \veebar !$ Conector “ou” exclusivo
!$ \sim !$ Negação da proposição

Considerando as proposições p: João fala inglês e q: Carlos é gaúcho, a linguagem simbólica que representa corretamente a proposição “ Se João fala inglês, então Carlos é gaúcho” é equivalente a: