有的s是p为真，那么有的s不是p真假未知。这个逻辑为什么成立呢？

Question

如题所述

Answer 1

有的s是p为真，那么有的s不是p真假未知。这个逻辑成立的原因：含于S，此种情况下PAS，其实还有一种情况，全异关系，所有S不是P，但也推出有些P不是S。

二者的逻辑常项不同。第一个命题的常项是“所有的”、“是”，第二个命题的常项是“有的”、“不是”。二者的逻辑变项相同，都是S与P。

定义

差等关系亦称“从属关系”。差等关系是指A命题与I命题、E命题与O命题之间的关系。由于A命题与I命题、E命题与O命题之间的区别仅在于一个是全称命题，一个是特称命题，因此又可把差等关系看为全称命题和特称命题之间的关系。