你首先要告诉我，P = “每份 /50 元” 和 Q = “每份50 元” 逻辑上是不是 predicate？如果是的话，它的 quantifier 是什么？如果 quantifier 是正整数集（假设顾客不能卖给商家），那么我们一个一个 proposition 去测就好了。例如，P(1) = 一份 50 元，Q(1) = 一份 50 元，因此 P(1) = Q(1)P(2) = 两份 100 元，Q(2) = 两份 100 元，因此 P(2) = Q(2)....如果你想补习一下你的 predicate calculus，可以复习一下这个链接。http://en.wikipedia.org/wiki/First-order_logic[ 本帖最后由 颖颖 于 2015-2-26 15:54 编辑 ]