Considerando a frase “João comprou um notebook e não comprou um celular”, a negação da mesma, de acordo com o raciocínio lógico proposicional é:

Gabarito

B

Comentário do professor

A proposição dada é: a = "João comprou um notebook" e b = "João comprou um celular", logo a sentença original é \(a \land \lnot b\).

Para obter a negação aplicamos a Lei de Morgan a \( \lnot(a \land \lnot b)\), que troca o "e" por "ou" e nega cada parcela, resultando em \( \lnot a \lor \lnot\lnot b\).

Em seguida usamos a dupla negação para simplificar \(\lnot\lnot b\) para \(b\), ficando \( \lnot a \lor b\).

Em linguagem natural isso corresponde a: João não comprou um notebook ou comprou um celular. Essa é a frase que é verdadeira sempre que a original for falsa.