从属性推理 dependency inference 亦称“从属判断推理”、“差等关系推理”。根据直言判断逻辑方阵中的差等关系而进行推演的一种直接推理。包括:(1)由全称判断的真,推出特称判断的真。即“SAP,所以SIP”;“SEP,所以SOP”。(2)由特称判断的假,推出全称判断的假。即“非SIP,所以,非SAP”;“非SOP,所以,非SEP”。例如:“所有金属都是良导体,所以,有的金属是良导体”,“所有元素不是化合物,所以,有的元素不是化合物”;“并非有的元素是化合物,所以,并非所有的元素都是化合物”;“并非有的金属不是良导体,所以,并非所有的金属不是良导体”。从属性推理都是有效推理。 |