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: