Numerical QuantifierRule of Inference 2
If k-i individuals are known that satisfy
P1(x) ? … ? Pn(x) ? ~ Q(x)
then every other individual that satisfies
P1(x) ? … ? Pn(x)
also satisfies
Q(x)
Previous slide
Next slide
Back to first slide
View graphic version