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