First, I notice that each prefix can be obtained by negation from the other one in the pair. Also, I can show a formula such that different prefixes produce different truth values. For example, consider (c):Quote:
Explain the difference between the first-order prefixes:
(a)and
;
(b)and
;
(c)and
.
is true, but
is false. I ask whether I missed something.

