///
Lista de símbolos: Condicional
Bicondicional
Conector “e”
Conector “ou”
Conector “ou” exclusivo
~ 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: