作者thomas5678 (thomas)
看板logic
标题[请益] 理则学的一个问题
时间Sun Jan 27 16:35:19 2013
我在自修理则学的时候，遇到问题，想请教各位。
由一个命题推出另一个等质命题，
凡科学家不是哲学家。可否推出下面的命题？
(1)有的非哲学家不是非科学家
(2)凡非科学家是非哲学家
(3)凡非科学家不是非哲学家
(4)凡哲学家是科学家
(5)凡非哲学家是非科学家
(6)凡哲学家不是非科学家
希望能列出几个推导的过程给我看，推出的命题为真为假或不能推出。
另外对当关系、换质、换位、对换，有无一定顺序要遵守？
例如︰换质→对当关系→换位→对换→对当关系→换位→换质；
这样的推导过程是有效的吗？谢谢！
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 36.230.58.45