Imagem de fundo

Considerando-se que os símbolos ¬, ∧, ∨, → e ↔ representam negação, conjunção, disjunçã...

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

{¬A, C ∨ A, A→C}


B

{¬¬(A ∨ C), D ∧ B}


C

{A→B, B→C, C→D}


D

{C→D, B→C, A↔B}


E

{¬B ∨ ¬D, C ∧ D, ¬A→¬B}