作者查詢 / MathTurtle

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

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

限定看板：logic

尾頁

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

作者: ntddt - 發表於 2009/04/07 20:18(16年前)

20^F推MathTurtle:印象中有些some of好像一定要用到second order才能表示04/08 16:50

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

作者: MathTurtle - 發表於 2009/03/03 15:57(17年前)

6^F→MathTurtle:我覺得是因為這裡有EA formula的關係, 是不是可以用Let03/04 18:42

7^F→MathTurtle:去表達EA 或AE formula我得想一想...03/04 18:42

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

作者: MathTurtle - 發表於 2009/02/25 12:51(17年前)

3^F→MathTurtle:tenseless只是陳述material implication中的前件02/25 16:25

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

作者: MathTurtle - 發表於 2009/02/21 19:17(17年前)

2^F→MathTurtle:但我寫的太簡略了...T-theory要寫清楚太難了02/23 15:11

3^F→MathTurtle:所以不如有問題大家討論討論可以把它弄清楚02/23 15:12

5^F→MathTurtle:Tarskian theory of truth...(推文太短了我簡寫)02/23 17:27

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

作者: hardmore - 發表於 2007/09/04 18:27(18年前)

1^F推MathTurtle:都有可能...但最有可能是都搖了...09/04 19:55

尾頁