A negação de "Todo veículo está regular" é "Algum veículo não está regular".

Questão de Lógica de primeira ordem — quantificadores e predicados

Responda antes de revelar o gabarito.

Questão 7, Agente PF, Certo ou Errado
A negação de "Todo veículo está regular" é "Algum veículo não está regular".
Revelar gabarito
Gabarito: Certo
Certo. A negação troca o quantificador e nega o predicado: ¬∀x P(x) ≡ ∃x ¬P(x). Para falsear a afirmação universal, basta um veículo em situação não regular.

Questão 8A negação de "Existe servidor faltoso" é "Todo servidor é faltoso".

Questão 9Para mostrar que uma afirmação universal é falsa, basta um contraexemplo.

Questão 10A sentença aberta "x 3" torna-se proposição quando a variável é quantificada.

Questão 11A proposição ∃x P(x) é verdadeira somente se todos os elementos do universo satisfazem P.

Questão 12A negação de 'Nenhum candidato foi aprovado' é 'Algum candidato foi aprovado'.

Questão 13A negação de 'Algum servidor é estável' é 'Algum servidor não é estável'.