[請益] 至多有兩個學生

[a90636 (何昶)]

https://i.imgur.com/0gYWdGl.jpg

有點想不通，希望符號化的段落可以更清晰的解釋


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.119.132 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/logic/M.1639807332.A.F54.html
推 willyhsuan: 對於所有x跟y 若x跟y是兩個不同的學生 則 對於所有z
→ willyhsuan:  若z也是個學生 則z不是x 就是y
推 willyhsuan: （Sx 且 Sy）表達的是 如果已經有兩個學生
→ willyhsuan: （x不等於y）表達的是 x跟y是不同人 所以有兩個
→ willyhsuan: Sz 表達的是 如果還有第三個學生
→ willyhsuan: （z=x）或（z=y）表達的是 z不是x就是y
推 willyhsuan: 全班只有小明一個光頭 如果有第二個光頭 那他其實是小
→ willyhsuan: 明