作者a90636 (何昶)
看板logic
标题[请益] 至多有两个学生
时间Sat Dec 18 14:02:10 2021
https://i.imgur.com/0gYWdGl.jpg
有点想不通,希望符号化的段落可以更清晰的解释
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 61.228.119.132 (台湾)
※ 文章网址: https://webptt.com/cn.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