Supondo que os símbolos ¬, → e ↔ representam a negação, condicional e bicondicional, respectivamente, a partir do conjunto de premissas {A → E, C ↔ E, E → G}, é possível concluir que