Assinale a opção que apresenta a negação da proposição “Se é Carnaval, então Laila está no sambódromo”.

Gabarito

Errado

Comentário do professor

Se é Carnaval, então Laila está no sambódromo é uma proposição do tipo condicional. Denotamos: \(p\) = "É Carnaval" e \(q\) = "Laila está no sambódromo".

Para negar uma condicional usamos a equivalência lógica \( \neg(p\rightarrow q)\equiv p\land\neg q\).

Intuitivamente, uma condicional só é falsa quando a parte inicial ocorre e a conclusão não ocorre. Ou seja, a negação exige que o antecedente seja verdadeiro e o consequente falso.

Aplicando ao enunciado: manter "É Carnaval" e negar "Laila está no sambódromo", unindo-as por e.

Assim obtemos: É Carnaval e Laila não está no sambódromo, que é a forma correta da negação (gabarito E).