第二性
第二性質可馬上推得對任意 formula_29，會使具formula_30成立。