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?