Note that in this view
P, ~?Q ? Q
is not a notation for the rule with antecedent P and consequent Q, but for the rule with antecedent P, ~?Q and consequent Q.
Previous slide
Next slide
Back to first slide
View graphic version