作者查詢 / weijing

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

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

限定看板：logic

看板排序：

首頁

尾頁

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

作者: citypao - 發表於 2007/11/01 09:36(18年前)

2^F推weijing:重點是語句的形式，而不是「上帝」。11/01 13:25

3^F→weijing:你代換成ABCD這種符號也是一樣的。11/01 13:26

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

作者: luciferii - 發表於 2007/10/26 23:50(18年前)

1^F推weijing:都有為假的情況了還叫恆真句？第一行就已經混亂了。10/27 13:57

6^F推weijing:恆真句會推出假，那就不是恆真句了，因為違反恆真句定義。10/27 20:57

8^F推weijing:我也是真的不懂Russell Paradox跟恆真句有什麼關係。10/28 00:16

10^F推weijing:不，我想現在聽你說。既然你已經知道的話就教一下。10/28 10:51

12^F推weijing:我家五六本課本都沒提羅素悖論跟恆真句的關係，如果你課本10/28 20:38

13^F→weijing:比我用的高檔，那至少你一定能夠現在把你讀到的說出來。10/28 20:38

14^F→weijing:也就是，羅素悖論如何可以寫成p v ~p10/28 20:38

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

作者: aletheia - 發表於 2007/10/25 12:05(18年前)

6^F推weijing:推「很難想像恆真句會互相矛盾」。10/25 18:42

10^F推weijing:四樓完全言中....敢問本期樂透號碼？10/26 10:49

首頁

尾頁