作者查詢 / chantaltw

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

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

限定看板：logic

首頁

尾頁

[ logic ]2 留言, 推噓總分: +1

作者: chantaltw - 發表於 2012/02/15 18:40(14年前)

2^F→chantaltw:謝天謝地不用再重整腦袋了02/15 22:24

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

作者: MathTurtle - 發表於 2012/02/14 20:42(14年前)

1^F推chantaltw:超級佩服M大將any和every解說如此透徹！謝謝好清楚喔02/15 18:30

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

作者: MathTurtle - 發表於 2011/11/10 15:07(14年前)

1^F推chantaltw:謝謝M大，你好厲害喔我想問(2)裡面的F是什麼?11/10 15:36

3^F推chantaltw:那Fx要怎麼用口語表達? 為什麼證明第三步中的a=a可代換11/10 15:52

4^F→chantaltw:Fx，而Fy卻是用b=a代換。這裡我不太懂>"<11/10 15:52

5^F→chantaltw:還有一個小問題，證明第一步Ass.是什麼? (沒看過..)11/10 15:54

11^F推chantaltw:我懂了! 謝謝:)11/10 17:04

[ logic ]19 留言, 推噓總分: +2

作者: chantaltw - 發表於 2011/11/10 12:01(14年前)

8^F→chantaltw:我大概知道了! 完全忘記有equiv.這條規則 = =+謝謝!11/10 15:07

12^F→chantaltw:突然想到 a三條線(若且為若)於b 就是 a=b 嗎@@?11/10 15:09

13^F→chantaltw:三條線的符號好像不是等號11/10 15:10

15^F→chantaltw:如果是這樣就不能使用equiv了11/10 15:10

17^F→chantaltw:哭哭害我白高興幾秒以為有頭緒了11/10 15:11

18^F→chantaltw:那請問M大有沒有解題方向>"<11/10 15:16

19^F→chantaltw:抱歉我看到你的回文了XD 謝謝11/10 15:17

首頁

尾頁