赶紧藉着这篇"白话文"来发问一下 因为是问很基础的部分qq ※ 引述《zelda312 (song)》之铭言： (略) : 题目：「若本命题为真，上帝存在」是否恒真 : 令其为「若ｐ=>q」 : 分成二个CASE讨论，上帝存在或不存在 : [CASE1：上帝存在] : 1.若本命题为真(若p对） : 　　　∵上帝存在（q也对） : 　　　∴本命题为真 : 　　2.若本命题为假(若p不对） : 　　　=>本命题为真(∵若p不对，整个命题为真) 请问p不对，为什麽整个命题为真呀? ∵「若本命题为真，上帝存在」不对 会导致什麽呢?(导致下面何者?) 1. ∴「若本命题为真，上帝不存在」才对 2. ∴「若本命题为假，上帝存在」才对 3. ∴「若本命题为假，上帝不存在」才对 还是弄错方向了|| 123是企图利用:∵p不对 ∴~p对 但是不知道非p到底是什麽= = 然後现在的case是上帝存在 然後...不知道orz 请多多指导~~ 感谢感谢^^ : 　　　此时矛盾（指命题又是真又是假矛盾） : 　　 : ∴由1、2，本命题「恒真」 : [CASE2：上帝不存在] : 1.若本命题为真(若p对） : 　　　∵上帝不存在（q错） : 　　　∴本命题为假（p对q错所以命题为假） : 　　　与本命题为真矛盾 : 　　2.若本命题为假(若p不对） : 　　　=>本命题为真(∵若p不对，整个命题为真) : 　　　此时矛盾（指命题又是真又是假矛盾） : 　　 : ∴由1、2，本命题为「悖论」 : ======================================================================== : 结论：若上帝存在　 =>　「若本命题为真，上帝存在」恒真 : 　　　若上帝不存在 =>　「若本命题为真，上帝存在」非真非假，为悖论 : 如果这个结论是对的，则第一篇大大们讨论的东西似乎可以解释了 : (1)、(2)两命题当然不可同时为真，因为上帝只有存在或不存在之一种可能 : 而这两命题也都不可能是错的，因为顶多导出此命题为悖论 : 　　　所以重点其实是在於「上帝是否存在」呀！ : ps：小弟只是想一解心中的疑问，虽然没学过logic还是试着用较白话的方式 : 　　表达我的想法，希望大大勿见怪哦^ ^ ”　　　 : 　　　 : 欢迎大家一起讨论哦！　　　 : 　　　 --

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