從屬性推理

亦稱“從屬判斷推理”、“差等關係推理”。根據直言判斷邏輯方陣中的差等關係而進行推演的一種直接推理。

包括：（1）由全稱判斷的真，推出特稱判斷的真。即“SAP。所以SIP”；“SEP，所以SOP”。（2）由特稱判斷的假，推出全稱判斷的假。即“非SIP，所以，非SAP”：“非SOP，所以，非SEP”。例如：“所有金屬都是良導體，所以，有的金屬是良導體”，“所有元素不是化合物，所以，有的元素不是化合物”；“並非有的元素是化合物，所以，並非所有的元素都是化合物”：“並非有的金屬不是良導體，所以，並非所有的金屬不是良導體”。從屬性推理都是有效推理。