Questão 1404424

• Banca: FGV
• Órgão: PROCEMPA
• Ano: 2014
• Provas: FGV - 2014 - PROCEMPA - Analista em TI e Comunicação - Analista em Programação e Suporte de Sistemas Informatizados e Georeferenciados
• Disciplina: Raciocínio Lógico
• Assuntos: Equivalências - Proposições Logicamente Equivalentes

A expressão lógica

                           (not(E1 and E2)) or (not(E3 and E4))

é sempre equivalente à expressão

• A. (E1 and E2) and (E3 and E4)
• B. (E1 and E2) or (E3 and E4)
• C. (E1 or E2) and (E3 or E4)
• D. ((not E1) and (not E2)) and ((not E3) and (not E4))
• E. not((E1 and E2) and (E3 and E4))

Gabarito: E

Comentários

• Negando-se a expressão original, tem-se:
  
  not((not(E1 and E2)) or (not(E3 and E4)))
  
  Pela lei de De Morgan: not(A and B) equivale a not(A) or not(B)
  
  -> not(not(E1 and E2)) and not(not(E3 and E4))
  ->(E1 and E2) and (E3 and E4)
  
  Não esquecer de negar mais uma vez a expressão (negando duas vezes ela equivale à expressão original):
  
  not((E1 and E2) and (E3 and E4))
  
  Alternativa E
  
  
  

• Não entendi porque negar mais uma vez a expressão, no final. Marquei letra (a).

• Que diabo é isso?

• Gabarito: E

  Segundo a lei de Morgan, ~ (P ^Q) = ~ P v ~ Q,

  Temos que: not(E1 and E2) or (not(E3 and E4) = (not E1 or not E2) or (not E3 or not E4)

  Como não há essa alternativa, vamos procurar qual assertiva mais se parece com a Proposição Original :

  (not(E1 and E2)) or (not(E3 and E4))

  Note que a Letra E é muito parecida: not((E1 and E2) and (E3 and E4))

  Na letra "E", há 2 parênteses, o que faz com que a negação (not) seja distribuído para a primeira proposição, para o conectivo e para a segunda proposição, que resulta em: (not E1 or not E2) or (not E3 or not E4)

• Que danado é isso! sauishasuahsu

• repreendido uma dessa na prova da PMCE

• Questão não é difícil, ela só se fez de difícil, gourmet demais ksksksksksk