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
A → C
C → A.
E → ¬A.
G → ¬A.
¬E → ¬G.
