作者lemesse (le Messe)
看板logic
标题Re: 吵架专用的悖论
时间Wed Jan 16 19:45:40 2008
※ 引述《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)