Re: [請益] 理則學的一個問題
※ 引述《thomas5678 (thomas)》之銘言：
: 我在自修理則學的時候，遇到問題，想請教各位。
: 由一個命題推出另一個等質命題，
: 凡科學家不是哲學家。可否推出下面的命題？
: (1)有的非哲學家不是非科學家
: (2)凡非科學家是非哲學家
: (3)凡非科學家不是非哲學家
: (4)凡哲學家是科學家
: (5)凡非哲學家是非科學家
: (6)凡哲學家不是非科學家
: 希望能列出幾個推導的過程給我看，推出的命題為真為假或不能推出。
: 另外對當關係、換質、換位、對換，有無一定順序要遵守？
: 例如︰換質→對當關係→換位→對換→對當關係→換位→換質；
: 這樣的推導過程是有效的嗎？謝謝！
先回答最後的問題，沒有順序需要遵守。
不知道你有沒有學過述詞邏輯，若有，便可以用述詞邏輯方法去處理之。
若無，就不斷地去使用那些關係便可以推出來。
原命題：所有的科學家都不是哲學家。
→是哲學家便不是科學家 (即：所有的哲學家都不是科學家)
顯然這暗示了(6)是錯的
或看(4)這也是錯的。
你可以考慮劃圈圈圖去稍微先考慮其狀況後再試著證明或否證之(舉反例)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.252.31
推
01/28 00:13, , 1F
01/28 00:13, 1F
→
01/28 00:15, , 2F
01/28 00:15, 2F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：