A negação dos quantificadores universais e existenciais assumem formas específicas segundo
as chamadas Leis de Morgan, as quais especificam que dado um conjunto universal H, a
negação de (∀x ∈ H)(p(x)) é dada por (∃x ∈ H)(∼p(x)) e a negação de (∃x ∈ H)(p(x)) é dada
por (∀x ∈ H)(∼p(x)).
Acerca das Leis de Morgan e do conjunto universal H dos candidatos à vaga de um concurso,
analise as afirmações.
I - A negação da proposição “Todos os candidatos são bons motoristas” é dada por “Todos
os candidatos são maus motoristas”.
II - A negação da proposição “Existem candidatos que são bons motoristas” é dada por
“Todos os candidatos são maus motoristas”.
III - A negação da proposição “Todos os candidatos são bons motoristas” é dada por
“Existem candidatos que são maus motoristas”.
IV - A negação da proposição “Existem candidatos que são bons motoristas” é dada por
“Existem os candidatos que são maus motoristas”.
É correto somente o que se afirma em: