Questão 713305

• Banca: CESGRANRIO
• Órgão: Petrobras
• Ano: 2011
• Provas: CESGRANRIO - 2011 - Petrobras - Analista de Sistemas Júnior - Infra-Estrutura - 2011
• Disciplina: Raciocínio Lógico
• Assuntos: Tautologia, Contradição e Contingência

Associe as explicações a seguir às respectivas fórmulas.

I - É uma tautologia
II - É satisfatível, mas não é uma tautologia
III - É insatisfatível

P= ∃x∃yA(x,y)∧¬∃xA(x,y)
Q= ∀x∀yA( x,y)∧¬∀x∀(x,y)
R= ∀x∀yA(x,y)-->∃x∀yA(x,y)
S= ∀x ∀y A(x,y) --> ∃x¬∀yA(x,y)

As associações corretas são:

• A. I - P , II - Q , III - R
• B. I - Q , II - P , III - S
• C. I - Q , II - R , III - S
• D. I - R , II - P , III - Q
• E. I - R , II - S , III - P

Gabarito: D

Comentários

• o predicado A pode representar qualquer coisa, mas suponhamos que seja verdade quando A(1,2), apenas.

  dessa forma, há algum x e há algum Y que torne A verdade? sim, 1 e 2 respectivamente.

  Tudo bem que A(1,2)é verdade, mas será que posso dizem que A(1,1) é? não! então dizer que ExA(x,y) estando o y livre pra assumir qualquer valor, é falso. Mas por estar negado, temos um V e ¬(F), que é satisfatível, neste caso!.

  Mas pq n é tautologia? suponha um modelo em que A nunca seja verdade, nenhum valor de x torna A verdadeiro.

  neste caso o "and" será falso, pois nenhum valor de x tornar A verdade, tornando a primeira parte do AND falsa e a segunda, Verdadeira. o que faz o And ser falso.

• CRE EM Deus Pai

• fica mais complicado quando tu paga e não tem um professor para explicar kkkk mas enfim