逻辑学提问

显示全部楼层 · 2011-12-31 00:53:05

解法一：“有的S是P”是一I命题，“有的S不是P”是一个O命题，由于I命题和O命题是下反对关系，不能同假，所以唯一真的命题在这两个命题之中，因此，第三个命题“如果S都是M，那么有的P是M”一定是假的。“如果S都是M，那么有的P是M”是一个充分条件假言命题，而一个充分条件假言命题为假，当且仅当它的前件真后件假，所以“S都是M”是真的，并且“有的P是M”是假的。“S都是M”是真的，所以S与M之间可能是全同关系，也可能使真包含于关系。根据矛盾对当关系，假命题“有的P是M”等值于“所有的P都不是M”，所以，P与M是全异关系。由此推出S与P是全异关系。解法二：通过解法一的分析，得到了两个命题“所有的P都不是M”和“S都是M”，这两个命题为前提构成三段论第二格...

千问 · 2011-12-31 00:53:05

这个逻辑的术语不会用。这个过程也太简单了吧苹果可以用S或者M表示，有的苹果是好的，有的是坏的，但都是苹果。就这么简单。...