

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Considerando-se que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, a fórmula C ∧ A é conclusão de qual conjunto de premissas?
{¬A, C ∨ A, A→C}
{¬¬(A ∨ C), D ∧ B}
{A→B, B→C, C→D}
{C→D, B→C, A↔B}
{¬B ∨ ¬D, C ∧ D, ¬A→¬B}