Professional Documents
Culture Documents
18.6
.?
While we can't say with precision exactly which binary relation a speaker might have in
mind
with the use of some quantiers, like many, we can still use this framework to illustrate
the
nature of the logical properties like conservativity, monotonicity, and so forth discussed
in
Section 14.5. Each of the following properties of binary relations Q on subsets of D
correspond
to a property of quantiers. Identify them.
1. Q(A;B) if and only if Q(A;A \ B)
2. If Q(A;B) and A A0 then Q(A0;B)
3. If Q(A;B) and A0 A then Q(A0;B)
4. If Q(A;B) and B0 B then Q(A;B0)
5. If Q(A;B) and B B0 then Q(A;B0)