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:
p Λ q
p V q
p → q
p Λ p
p → ~ q
