作者thomas5678 (thomas)
看板logic
標題[請益] 理則學的一個問題
時間Sun Jan 27 16:35:19 2013
我在自修理則學的時候,遇到問題,想請教各位。
由一個命題推出另一個等質命題,
凡科學家不是哲學家。可否推出下面的命題?
(1)有的非哲學家不是非科學家
(2)凡非科學家是非哲學家
(3)凡非科學家不是非哲學家
(4)凡哲學家是科學家
(5)凡非哲學家是非科學家
(6)凡哲學家不是非科學家
希望能列出幾個推導的過程給我看,推出的命題為真為假或不能推出。
另外對當關係、換質、換位、對換,有無一定順序要遵守?
例如︰換質→對當關係→換位→對換→對當關係→換位→換質;
這樣的推導過程是有效的嗎?謝謝!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 36.230.58.45