Petróleo Brasileiro S.A (Petrobras) - Analista de Sistemas Júnior - Engenharia de Software (2010) Questão 46

Dadas as sentenças A e B da lógica de primeira ordem, onde A é a sentençaImagem 059.jpge B é a sentençaImagem 060.jpg, tem-se que

  • A A é consequência da lógica de B.
  • B B é consequência da lógica de A .
  • C A é consequência da lógica de B.
  • D B é consequência da lógica de A.
  • E B é consequência da lógica de A.