Numerical QuantifierRule of Inference 1
If j 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