[請益] 表達數量的邏輯式
最近在看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
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：