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