※ 引述《zelda312 (song)》之銘言：
: 下列二題是否恆真？（獨立的二題）
: (1) 「如果本句為真，上帝存在。」
: (2) 「如果本句為真，上帝不存在。」
我試著用’直覺’去認知
(P): 上帝存在
(1): (1) -> (P)
(2): (2) -> ~(P)
我想以上可以用邏輯繼續推來推去
像:
~(P) -> ~(1)
(P) -> ~(2)
要利用(1)和(2)想去證明(P) 看來是普通邏輯辦不到的
起碼(1)和(2)之間要有個關係
但是 請教大家
像這種
(1): (1) -> (P)
有點recursive的proposition 是有可能的嗎
※ 編輯: lemesse 來自: 79.210.108.31 (01/16 19:47)