Sejam p e q proposições, tais que p: “Carlos é calvo” e q: “José é loiro”. Assinale a alternativa que apresenta, CORRETAMENTE, a expressão equivalente a p → ¬ q.
Se Carlos é calvo, então José é loiro.
Se Carlos não é calvo, então José é loiro.
Se Carlos é calvo, então José não é loiro.
Se Calos não é calvo, então José não é loiro.