※ 引述《thomas5678 (thomas)》之銘言： : 我在自修理則學的時候，遇到問題，想請教各位。 : 由一個命題推出另一個等質命題， : 凡科學家不是哲學家。可否推出下面的命題？ : (1)有的非哲學家不是非科學家 : (2)凡非科學家是非哲學家 : (3)凡非科學家不是非哲學家 : (4)凡哲學家是科學家 : (5)凡非哲學家是非科學家 : (6)凡哲學家不是非科學家 : 希望能列出幾個推導的過程給我看，推出的命題為真為假或不能推出。 : 另外對當關係、換質、換位、對換，有無一定順序要遵守？ : 例如︰換質→對當關係→換位→對換→對當關係→換位→換質； : 這樣的推導過程是有效的嗎？謝謝！ 先回答最後的問題，沒有順序需要遵守。 不知道你有沒有學過述詞邏輯，若有，便可以用述詞邏輯方法去處理之。 若無，就不斷地去使用那些關係便可以推出來。 原命題：所有的科學家都不是哲學家。 →是哲學家便不是科學家　(即：所有的哲學家都不是科學家) 顯然這暗示了(6)是錯的 或看(4)這也是錯的。 你可以考慮劃圈圈圖去稍微先考慮其狀況後再試著證明或否證之(舉反例) --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.252.31