Q58

As cinco declarações seguintes são verdadeiras.

• Se X acontece, então Y não acontece.
• Se K acontece, então X acontece.
• K acontece ou W acontece.
• Se W não acontece, então Z não acontece.
• Y aconteceu.

Conclui-se que

(A) X também aconteceu.
(B) K também aconteceu.
(C) W também aconteceu.
(D) Z não aconteceu.
(E) Z também aconteceu.

Ver Solução
  • Euder

    Alguém sabe por quê não usa negação?

  • Anônimo

    A equivalência está incorreta, você não pode dizer que W->Z. É só substituir por uma afirmação mais plausível:

    Se Mateus não é Brasileiro, então Mateus não é Baiano.

    Mateus é Brasileiro = W
    Mateus é Baiano = Z

    Mas se eu digo: Mateus é brasileiro, nada garante que Mateus seja baiano também. Ele pode ser paulista, mineiro, etc. Ou seja, não se pode afirmar que se W -> Z. Deu pra entender?

  • LeeMao

    No caso de X -> ~Y, Se ocorreu Y, significa q não ocorreu X, pois a existência de X implica a não existência de Y.

    No caso de ~Z -> ~W, A não existência de um implica a não existência de outro, porêm se ocorre Z nada sabemos sobre W, pois essa condição não foi definida.  

  • LeeMao

    No caso de X -> ~Y, Se ocorreu Y, significa q não ocorreu X, pois a existência de X implica a não existência de Y.

    No caso de ~Z -> ~W, A não existência de um implica a não existência de outro, porêm se ocorre Z nada sabemos sobre W, pois essa condição não foi definida.  

  • VcPetro

    Tb estou com mesma dúvida.

  • VcPetro

    Falei besteira. Desconsidera ai.

  • VcPetro

    Falei besteira. Desconsidera ai.

  • VcPetro

    O enunciado diz que K acontece ou W acontece ( não estabelece nenhuma implicação ). Para que seja do jeito que você falou o enunciado teria que afirmar:  se W não acontece então ( implicação ) Z não acontece. Espero ter ajudado.

  • VcPetro

    O enunciado diz que K acontece ou W acontece ( não estabelece nenhuma implicação ). Para que seja do jeito que você falou o enunciado teria que afirmar:  se W não acontece então ( implicação ) Z não acontece. Espero ter ajudado.

  • Mirterra

    seguindo a mesma lógica, eu nao poderia dizer que
    se ~W -> ~Z, portanto, W -> Z ?

  • Mirterra

    seguindo a mesma lógica, eu nao poderia dizer que
    se ~W -> ~Z, portanto, W -> Z ?