作者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