作者maibells0 (-§-Labyrinth-§-)
看板logic
标题[请益] 表达数量的逻辑式
时间Tue Feb 21 00:41:24 2012
最近在看L.T.F Gamut的第一册书，一直无法体会Predicate logic该章里介绍的
identity和表达数量的逻辑式。想请问应该如何诠释 at most X 的逻辑式才好。
以下是书上的例子：
There is at most one x 全x全y ((Bx ^ By) --> x = y)
such that Bx.
There are at most two (different) x 全x全y全z((Bx^By^Bz)-->(x=yˇx=z
such that Bx. ˇy=z))
以at most two different x为例，我不清楚的地方在於，如果x=y的话，就剩下
x与z (或是 y与z)，可是不能确定x, y, z个别的数量 (例如x有6个, y有3个，z有
2个的话)，怎麽诠释成是至少两个的意思呢?
因为只有一点点逻辑基础，这个地方一直看不懂，连带接下来的exactly X也不了
解，想请版上的逻辑高手们帮忙解惑。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.233.70