Questão
ID 858134Disciplina: Raciocínio Lógico
Assunto: Simbologia dos Quantificadores Lógicos
Ano: 2011 Banca: Fundação CESGRANRIO Órgão: Petróleo Brasileiro S.A.
Considere as sentenças da lógica de primeira ordem a seguir.
I - \(\exists x \ \exists y \ A (x,y) \wedge ¬ \exists x \ A(x,x)\)
II - \(\forall x \ \forall y \ A (x,y) \wedge ¬ \forall x \ A(x,x)\)
III - \(\forall x \ \forall y \ A (x,y) \to ¬ \forall x \ A(x,x)\)
São insatisfatíveis APENAS as sentenças apresentadas em