Questão 2476582

• Banca: COPEVE-UFAL
• Órgão: MPE-AL
• Ano: 2012
• Provas: COPEVE-UFAL - 2012 - MPE-AL - Analista do Ministério Público - Desenvolvimento de Sistemas
• Disciplina: Raciocínio Lógico
• Assuntos: Equivalência Lógica e Negação de Proposições; Equivalências - Proposições Logicamente Equivalentes

A fórmula da lógica sentencial ¬((A ∧¬B)→C) é equivalente à fórmula

• A. ¬A∨¬B∨¬C
• B. A∧¬B∧¬C
• C. ¬A∨B∨C
• D. ¬A∨B∨¬C
• E. A∧B∧¬C

Gabarito: B

Comentários

• Tanto a tabela-verdade de  ¬((A ∧¬B)→C) quanto de B (A∧¬B∧¬C) são iguais.

  F

  F

  F

  V

  F

  F

  F

  F

• Lendo o enunciado : " A fórmula da lógica sentencial  DA NEGAÇÂO ((A ∧¬B)→C) é equivalente à fórmula"

  Ou seja, está pedindo a negação da condicional.

  RENEGA - REpete a primeira E NEGa A segunda

  (A ∧¬B)∧~C

• Negação da condicional  -Famoso macete do homem infiel... rsrs

   

  Ele CONFIRMA A PRIMEIRA E NEGA A SEGUNDA.

   

  ou seja....A ^ ~B ^ ~C

• Negação da condicional: Mané

  Mantém E Nega

• "EQUIVALENTE" me fez pensar em equivalência...