Cadernos de Questões

Provas Favoritas

Filtros Salvos

Foram encontradas 60 questões.
#1986067

Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, indique em qual conjunto de fórmulas não é possível inferir contradição.

  • {A ∧ B, A → C, ¬C}
  • {¬(A ∧ B), ¬(¬A ∨ ¬B)}
  • {¬A ∨ B, A ∨ C, ¬B ∧ C}
  • {A ∨ ¬B, B ∧ C, ¬A ∧ C}
  • {¬A → ¬B ∧ B, A → ¬B ∧ B}
Fale com IAgo
IAgo - Assistente IAProva
IA
Olá! Sou o IAgo, seu assistente aqui no IAProvatec 😊
Veja como posso te ajudar:
Agora