※ 引述《thomas5678 (thomas)》之铭言： : 我在自修理则学的时候，遇到问题，想请教各位。 : 由一个命题推出另一个等质命题， : 凡科学家不是哲学家。可否推出下面的命题？ : (1)有的非哲学家不是非科学家 : (2)凡非科学家是非哲学家 : (3)凡非科学家不是非哲学家 : (4)凡哲学家是科学家 : (5)凡非哲学家是非科学家 : (6)凡哲学家不是非科学家 : 希望能列出几个推导的过程给我看，推出的命题为真为假或不能推出。 : 另外对当关系、换质、换位、对换，有无一定顺序要遵守？ : 例如︰换质→对当关系→换位→对换→对当关系→换位→换质； : 这样的推导过程是有效的吗？谢谢！ 先回答最後的问题，没有顺序需要遵守。 不知道你有没有学过述词逻辑，若有，便可以用述词逻辑方法去处理之。 若无，就不断地去使用那些关系便可以推出来。 原命题：所有的科学家都不是哲学家。 →是哲学家便不是科学家　(即：所有的哲学家都不是科学家) 显然这暗示了(6)是错的 或看(4)这也是错的。 你可以考虑划圈圈图去稍微先考虑其状况後再试着证明或否证之(举反例) --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.112.252.31