[請益] 理則學的一個問題

看板logic作者 (thomas)時間11年前 (2013/01/27 16:35), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串1/2 (看更多)
我在自修理則學的時候,遇到問題,想請教各位。 由一個命題推出另一個等質命題, 凡科學家不是哲學家。可否推出下面的命題? (1)有的非哲學家不是非科學家 (2)凡非科學家是非哲學家 (3)凡非科學家不是非哲學家 (4)凡哲學家是科學家 (5)凡非哲學家是非科學家 (6)凡哲學家不是非科學家 希望能列出幾個推導的過程給我看,推出的命題為真為假或不能推出。 另外對當關係、換質、換位、對換,有無一定順序要遵守? 例如︰換質→對當關係→換位→對換→對當關係→換位→換質; 這樣的推導過程是有效的嗎?謝謝! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 36.230.58.45
文章代碼(AID): #1H1ERAjL (logic)
文章代碼(AID): #1H1ERAjL (logic)