以真命题为前提，必然得到真结论。
这是推理有效性或者说保真的要求
我们看比较简单一点的直接推理 给定一个前提，用一个直言命题，也就是性质判断作为简前题 怎样的推理方法可以必然的得到真结论呢 就是不要超过前提中已经判定了真假的 范围 不超过就是小于 或者等于 或者说相当
当我们说S是P的时候，只能说所有的关系的元素都与P中的元素对应 但是具体的对应关系并并未在这个命题中得到确定
既然不知道具体的对应关系，那就不能说P中的每个元素都和S中的每个元素对应 所以P是没有被全部涉及的
S
[a,b,c,d,e,f,g]
P
[1,2,3,4,5,6,7,8]