看板 logic 關於我們 聯絡資訊
※ 引述《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)
JieJuen:雖然基本,但還請各位前輩指導~! 感謝~~ 12/13 14:23