※ 引述《zelda312 (song)》之铭言： : 下列二题是否恒真？（独立的二题） : (1) 「如果本句为真，上帝存在。」 : (2) 「如果本句为真，上帝不存在。」 : 前言： : 前几天无意间看到这个问题，可是一直没有看到结果，还让我晚上失眠= = : (有版友和我一样吗/__\) : 小弟没有学过Logic的课，但这个问题如果没有个答案我会遗憾一辈子呀 XD : 所以小弟不才试着讨论这个命题（仅讨论1，因为2同理） : 先定义一些东西： : 1.本句＝整个命题，故题目我改为「若本命题为真，上帝存在」比较清楚 : 2.若命题永远是对的，称此命题为真理（Tautology） : 3.若命题永远是错的，称此命题为矛盾（contradiction） : 　　（请勿和一般所说「二件事矛盾」的矛盾搞混） : 4.无法判断对错的命题，称为悖论(paradox) : 例：「我是说谎者」这种 : 　　（找到一些蛮有趣的XD http://tinyurl.com/2qh4df） : ===========================以下是我的想法/_\======================= : 题目：「若本命题为真，上帝存在」是否恒真 : 令其为「若ｐ=>q」 : 分成二个CASE讨论，上帝存在或不存在 : [CASE1：上帝存在] : 1.若本命题为真(若p对） : 　　　∵上帝存在（q也对） : 　　　∴本命题为真 : 　　2.若本命题为假(若p不对） : 　　　=>本命题为真(∵若p不对，整个命题为真) : 　　　此时矛盾（指命题又是真又是假矛盾） : 　　 : ∴由1、2，本命题「恒真」 : [CASE2：上帝不存在] : 1.若本命题为真(若p对） : 　　　∵上帝不存在（q错） : 　　　∴本命题为假（p对q错所以命题为假） : 　　　与本命题为真矛盾 : 　　2.若本命题为假(若p不对） : 　　　=>本命题为真(∵若p不对，整个命题为真) : 　　　此时矛盾（指命题又是真又是假矛盾） : 　　 : ∴由1、2，本命题为「悖论」 : 结论：若上帝存在　 =>　「若本命题为真，上帝存在」恒真 : 　　　若上帝不存在 =>　「若本命题为真，上帝存在」非真非假，为悖论 : 如果这个结论是对的，则第一篇大大们讨论的东西似乎可以解释了 : (1)、(2)两命题当然不可同时为真，因为上帝只有存在或不存在之一种可能 : 而这两命题也都不可能是错的，因为顶多导出此命题为悖论 : 　　　所以重点其实是在於「上帝是否存在」呀！ : ps：小弟只是想一解心中的疑问，虽然没学过logic还是试着用较白话的方式 : 　　表达我的想法，希望大大勿见怪哦^ ^ 　　　 这2个命题都是属於 p→q 这种 而p→q是适真句 适真句即为有时真有时假的命题称为是真句 不是全真句 全真句即为永远都为真的命题就称之为全真句 所以当然不恒真 至少我是这麽觉得啦 希望有帮你回答到你不理解的地方 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 220.131.117.173