Questão
ID 1554678Disciplina: Raciocínio Lógico
Assunto: Simbologia dos Quantificadores Lógicos
Ano: 2012 Banca: Assessoria em Organização de Concursos Públicos Órgão: Secretaria de Administração do Estado do Tocantins
Seja p(x) uma proposição com uma variável x em um universo de discurso. Qual dos itens a seguir define a negação dos quantificadores?
I. \(\sim\left[\left(∀x\right)\ \left(p\left(x\right)\right)\right]\ ⇔\ \left(∃x\right)\ \left(\sim p\left(x\right)\right)\)
II. \(\sim\left[\left(∃x\right)\ \left(p\left(x\right)\right)\right]\ ⇔\ \left(∃x\right)\ \left(\sim p\left(x\right)\right)\)
III. \(\sim\left[\left(∃x\right)\ \left(p\left(x\right)\right)\right]\ ⇔\ \left(∀x\right)\ \left(\sim p\left(x\right)\right)\)