Previous:
ex
, Up:
Inference Rules
6.1.8 Constructive Dilemma
P → R
P v Q
Q → S
———–
R v S
Constructive Dilemma requires at least three references.