Basit ikilemin genel yapısı nasıl gösterilir?
A v BA → CB → C∴C
(Normal olarak C v C çıkması gerekir. Fakat eşgüçlülük kuralına göre C v C, C’ye eşdeğerdir.)