Questão 358462

• Banca: FGV
• Órgão: CODESP-SP
• Ano: 2010
• Provas: FGV - 2010 - CODESP-SP - Técnico em Informática - Tipo 1
• Disciplina: Raciocínio Lógico
• Assuntos: Proposições Categóricas

Se x é A, então y é B. Se y não é B, então z é C. Sabe-se que z não é C. Logo, tem-se obrigatoriamente que

• A. x é A.
• B. x não é A.
• C. y é B.
• D. y não é B.
• E. z é C.

Gabarito: C

Comentários

• Se X é A (v ou f), então Y é B (v). = V

  Se Y não é B (f), então Z é C (f). = V

  Z não é C. = V 

  Na Condicional, as premissas precisam ser verdadeiras. Logo, não pode haver V ----> F. Agora siga as condições dadas pela questão.

  LETRA C

   

• Como temos preposições condicionais e uma sentença simples é mais adequado solucionar a questão admitindo dos as preposições verdadeiras. Assim, determinamos os possível valores lógicos com o cuidado de não termos a sequência V->F, circunstância que invalida a hipótese inicial.

  P1:~Zc (admite-se Verdadeiro)

  P2:~Yb-> Zc (admite-se verdadeiro)

  F -> F => V

  P3: Xa -> Yb (admite-se verdadeiro)

  V/F -> V => V

  Xa pode assumir valor Verdadeiro ou Falso, mantendo a sentença verdadeira. Porém Yb somente admite o valor Verdadeiro.

  Gabarito: C