Previous: ex, Up: Inference Rules [Contents]
Constructive Dilemma requires at least three references.