Questão 1470823

• Banca: UNIRIO
• Órgão: UNIRIO
• Ano: 2014
• Provas: UNIRIO - 2014 - UNIRIO - Analista Tecnologia da Informação - Desenvolvimento de Sistemas
• Disciplina: Raciocínio Lógico
• Assuntos: Tautologia, Contradição e Contingência

Considere aluno, um predicado unário na lógica dos predicados, representando a propriedade ser aluno, e U o conjunto universo com 8 objetos. É possível afirmar que

• A. Se I(∃x aluno(x))=V para uma interpretação I, então 1 objeto de U é aluno.
• B. Se I(¬ ∀x aluno(x))=V para uma interpretação I, então 0 objetos de U são alunos.
• C. Se I(∀x aluno(x))=V para uma interpretação I, então os 8 objetos de U são alunos.
• D. Se I ( ¬ ∃x aluno(x))=F para uma interpretação I, então 1 objeto de U é aluno.
• E. Se I(∀x aluno(x))=F para uma interpretação I, então 0 objetos de U são alunos.

Gabarito: C

Comentários

• A) ∃x aluno(x) ser verdadeira significa que ao menos um x é aluno, como a sentença disse que EXATAMENTE 1 é aluno, FALSA;

  B)¬ ∀x aluno(x) ser verdadeira significa que nem todos os x são alunos, como a sentença disse que era NENHUM, FALSA

  C) ∀x aluno(x) ser verdadeira significa que todos os x são alunos, como a sentença disse que são 8 de 8, VERDADEIRA

  D) ¬ ∃x aluno(x) ser falsa significa que não existir nenhum x que seja aluno é FALSA, ou seja, existe ao menos 1 x, como a sentença disse EXATAMENTE 1,  FALSA

  E) ∀x aluno(x) ser  falsa significa afirmar que "todos os x são alunos é FALSA", ou seja, existe ao menos um x que é aluno, como a sentença disse que era NENHUM, FALSA