Önbileşenin olmasının artbileşenin olmasını gerektirmediğini göstermek ne anlama gelir?
İkilemlerden koşul önermelerini çürüterek kurtulma ya da ikilemi boynuzlarından tutma anlamına gelir.
