作者查詢 / willyhsuan

總覽項目：發文 | 留言 | 暱稱

作者 willyhsuan 在 PTT [ logic ] 看板的留言(推文), 共12則

限定看板：logic

首頁

尾頁

[ logic ]16 留言, 推噓總分: +4

作者: yusia - 發表於 2022/10/27 03:18(3年前)

2^F推willyhsuan: 50沒錯11/12 01:02

3^F→willyhsuan: 第一式可以刪掉 24 25 27 40 44 4611/12 01:03

4^F→willyhsuan: 第二式刪掉 31 5111/12 01:03

5^F→willyhsuan: 第三式刪掉 34 3511/12 01:03

[ logic ]8 留言, 推噓總分: +3

作者: a90636 - 發表於 2021/12/18 14:02(4年前)

1^F推willyhsuan: 對於所有x跟y 若x跟y是兩個不同的學生則對於所有z12/24 16:24

2^F→willyhsuan: 若z也是個學生則z不是x 就是y12/24 16:24

3^F推willyhsuan: （Sx 且 Sy）表達的是如果已經有兩個學生12/24 16:26

4^F→willyhsuan: （x不等於y）表達的是 x跟y是不同人所以有兩個12/24 16:27

5^F→willyhsuan: Sz 表達的是如果還有第三個學生12/24 16:28

6^F→willyhsuan: （z=x）或（z=y）表達的是 z不是x就是y12/24 16:29

7^F推willyhsuan: 全班只有小明一個光頭如果有第二個光頭那他其實是小12/24 16:31

8^F→willyhsuan: 明12/24 16:31

首頁

尾頁