Assinale a alternativa que corresponde à negação da proposição lógica condicional abaixo. “Se é flamenguista, então é carioca”.

Gabarito

B

Comentário do professor

Se é flamenguista, então é carioca. Aqui a sentença é uma condicional, que em lógica se representa por \(p \rightarrow q\), com \(p\): É flamenguista e \(q\): É carioca.

A negação de uma condicional satisfaz a equivalência lógica \(\neg(p \rightarrow q) \equiv p \land \neg q\).

Isto ocorre porque uma implicação só é falsa quando o antecedente é verdadeiro e o consequente é falso. Em todos os outros casos a condicional é verdadeira.

Portanto a negação é: É flamenguista e não é carioca, que corresponde exatamente a \(p \land \neg q\).