Numerical Quantifiers

nexists(i,j,k)(x)

({P1(x),..., Pn(x)}: {Q(x)})}

There are k individuals that satisfy

P1(x) ?...? Pn(x)

and, of them, at least i and at most j also satisfy

Q(x)

Previous slide

Next slide

Back to first slide

View graphic version