作者a90636 (何昶)
看板logic
標題[請益] 至多有兩個學生
時間Sat Dec 18 14:02:10 2021
https://i.imgur.com/0gYWdGl.jpg
有點想不通,希望符號化的段落可以更清晰的解釋
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.119.132 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/logic/M.1639807332.A.F54.html
1F:推 willyhsuan: 對於所有x跟y 若x跟y是兩個不同的學生 則 對於所有z 12/24 16:24
2F:→ willyhsuan: 若z也是個學生 則z不是x 就是y 12/24 16:24
3F:推 willyhsuan: (Sx 且 Sy)表達的是 如果已經有兩個學生 12/24 16:26
4F:→ willyhsuan: (x不等於y)表達的是 x跟y是不同人 所以有兩個 12/24 16:27
5F:→ willyhsuan: Sz 表達的是 如果還有第三個學生 12/24 16:28
6F:→ willyhsuan: (z=x)或(z=y)表達的是 z不是x就是y 12/24 16:29
7F:推 willyhsuan: 全班只有小明一個光頭 如果有第二個光頭 那他其實是小 12/24 16:31
8F:→ willyhsuan: 明 12/24 16:31