作者JieJuen (David)
看板logic
标题Re: 吵架专用的悖论
时间Wed Dec 12 18:04:04 2007
※ 引述《zelda312 (song)》之铭言:
: : 请问p不对,为什麽整个命题为真呀?
: 考虑 p=>q 这个命题
: ∵p=>q ≡ ~pˇq (两者等价)
为什麽两者等价呢(完了 越问越基本|||)
比较是否等价
就设各种情况,看看两边的真假如何
举例:
p=>q
住在台湾=>住在亚洲
(住在台湾就表示住在亚洲)
如果台湾全都在亚洲内,p=>q为真
如果台湾至少有一部分不在亚洲,p=>q为假
~pˇq
不住在台湾 或是 住在亚洲
(住在台湾以外的地方或是住在亚洲)
如果台湾全都在亚洲内,居住范围可能在任何地方 ~pˇq之真假?
如果台湾至少有一部分不在亚洲,
居住范围可能在任何地方,除了台湾不属於亚洲的那部分不可能 ~pˇq之真假?
~pˇq之真假不知如何判断
即使导出居住范围不在任何地方,
也只是讲一个范围(空)而已,没有真假?
用真值表的话我不很了解
因为不知道为什麽(有没有记错@@?)
p q p=>q
F T T
F F T
用上例来说
某人说了一句
住在台湾=>住在亚洲
(住在台湾可以推得住在亚洲)
要判断真假
但"住在台湾"是错的 是什麽意思= =
是没有台湾这个地方 的意思吗...
似乎要知道的事情是:台湾和亚洲的关系
才可判断
记忆中的真值表是这样
p q p=>q ~p v q
T T T T
T F F F
F T T T
F F T T
请原谅我写了很多字
尽量让我写出来的错误是"思路错误"而非"表达错误"
请多多指导~ 感谢
: ∴若p不对 => p=>q ≡ 1ˇq ≡ 1
我先懂了上面再说~^^;;
: 故此时命题永远为真(不论q是什麽)
: Note:所以只有「p对但q不对」时命题为假
: : ∵「若本命题为真,上帝存在」不对
: 「若本命题为真,上帝存在」这个命题永远都不会不对
: 你可以试着用矛盾证法去证证看,蛮容易的
: (即设此命题为假,然後推出矛盾)
: (可以和原命题矛盾、也可以和一切已知矛盾)
: 有错请指正^^"
: : 会导致什麽呢?(导致下面何者?)
: : 1. ∴「若本命题为真,上帝不存在」才对
: : 2. ∴「若本命题为假,上帝存在」才对
: : 3. ∴「若本命题为假,上帝不存在」才对
: : 还是弄错方向了||
: : 123是企图利用:∵p不对 ∴~p对
: : 但是不知道非p到底是什麽= =
: : 然後现在的case是上帝存在
: : 然後...不知道orz
: : 请多多指导~~ 感谢感谢^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.164.49.195
※ 编辑: JieJuen 来自: 218.164.49.195 (12/12 18:13)
1F:→ JieJuen:虽然基本,但还请各位前辈指导~! 感谢~~ 12/13 14:23