二、因三相是论述因支(小前提)中的因(中项M)是否周延有法(小项S)和法(大项P)的规则
第一相(遍是宗法性)规定因(中项M)应该包含有法(小项S)。这适用于直言三段论第一格的“小前提为肯定命题”这条规则。
第二相(同品定有性)规定法(大项P)的外延应该包括因(中项M)。这既是对同喻(大前提)的条件,也适用于直言三段论第一格的“大前提应为全称的”的规则。(https://www.daowen.com)
第三项(异品遍无性)指出与法(大项P)相矛盾的项(非P)的外延与因(中项M)的外延应该毫无交集。这是第二相的换质换位,所以第二相成立的情况下,第三项必也成立,另外反之亦然。
满足这些因三相的比量相当于直言三段论第一格第一式Barbara。