Previous: ex, Up: Inference Rules


6.1.8 Constructive Dilemma

Constructive Dilemma requires at least three references.