Considere a sentença: “4 é divisor de 2017” e “27 é número primo”. Indique a sentença abaixo que representa a sua NEGAÇÃO.

Gabarito

Certo

Comentário do professor

A sentença original é uma conjunção: \(p\) = "4 é divisor de 2017" e \(q\) = "27 é número primo", logo a composição é \(p \wedge q\).

Para obter a negação de uma conjunção aplicamos a lei de De Morgan: \(\neg (p \wedge q) \equiv \neg p \vee \neg q\).

Isso significa negar cada proposição e unir por disjunção (o conectivo ou): \(\neg p\) é "4 não é divisor de 2017" e \(\neg q\) é "27 não é número primo".

Portanto a negação correta é "4 não é divisor de 2017" ou "27 não é número primo", que exprime que pelo menos uma das proposições originais é falsa.