Previous: ex, Up: Inference Rules


6.1.8 Constructive Dilemma