Questão 1501324

• Banca: COPEVE-UFAL
• Órgão: UNCISAL
• Ano: 2015
• Provas: COPEVE-UFAL - 2015 - UNCISAL - Assistente Social; COPEVE-UFAL - 2015 - UNCISAL - Bibliotecário
• Disciplina: Raciocínio Lógico
• Assuntos: Lógica de Argumentação - Diagramas e Operadores Lógicos

Se os símbolos lógicos ~, ^, v, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, e os valores lógicos das proposições atômicas A, B, C e D são, respectivamente, Falso, Falso, Verdadeiro e Falso, qual das fórmulas tem valor lógico verdadeiro?

• A. (A v C) ↔ (B v D)
• B. ((A ^ ~B) v C) → D
• C. (~A ^ ~B ^ ~C) v D
• D. ~(A ^ B) ↔(C v D)
• E. ~A → (B v ~(C v D))

Gabarito: D

Comentários

• Fiz um vídeo com a resolução dessa questão, não deixem de ver.

  
  Link para o vídeo com a resolução dessa questão:  https://youtu.be/xGAN-jZa1v8

  
  Professor Ivan Chagas

   

  Muito mais vídeos com questões resolvidas em www.gurudamatematica.com.br

   

• Esta questão está com um  erro na reescritura, pois a única alternativa possível, visto que as demais estão erradas, contém um erro:

  (A ^ B) ?(C v D)
  

  No lugar dessa interrogação é o símbolo do "Se e somente se". 

  Letra d é o gabarito !

• A = Falso / B = Falso / C = Verdadeiro / D = Falso

   

  d)

  (V v V) ↔ (V v F) 

  V ↔ V = V

   

• A questão é relativamente fácil, mas exige que vc gaste tinta e papel.

  Como o caminho é meio longo, mas liso, dar um tropeço é dificil, mas continua sendo possível a cada instante dessa longa caminhada...