[請益] 至多有兩個學生

看板logic作者 (何昶)時間2年前 (2021/12/18 14:02), 編輯推噓3(3推 0噓 5→)
留言8則, 1人參與, 2年前最新討論串1/1
https://i.imgur.com/0gYWdGl.jpg
有點想不通，希望符號化的段落可以更清晰的解釋 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.119.132 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/logic/M.1639807332.A.F54.html
推
12/24 16:24, 2年前 , 1F
對於所有x跟y 若x跟y是兩個不同的學生 則 對於所有z
12/24 16:24, 1F
→
12/24 16:24, 2年前 , 2F
若z也是個學生 則z不是x 就是y
12/24 16:24, 2F
推
12/24 16:26, 2年前 , 3F
（Sx 且 Sy）表達的是 如果已經有兩個學生
12/24 16:26, 3F
→
12/24 16:27, 2年前 , 4F
（x不等於y）表達的是 x跟y是不同人 所以有兩個
12/24 16:27, 4F
→
12/24 16:28, 2年前 , 5F
Sz 表達的是 如果還有第三個學生
12/24 16:28, 5F
→
12/24 16:29, 2年前 , 6F
（z=x）或（z=y）表達的是 z不是x就是y
12/24 16:29, 6F
推
12/24 16:31, 2年前 , 7F
全班只有小明一個光頭 如果有第二個光頭 那他其實是小
12/24 16:31, 7F
→
12/24 16:31, 2年前 , 8F
明
12/24 16:31, 8F
‣ 更多 a90636 的文章
文章代碼(AID): #1XlNbazK (logic)