是只改變假言判斷前、后件的位臵，而不改變它們的真值的假言直接推理。
是從一個或幾個已知判斷推出一個新判斷的思維形式。
是根據(jù)某一標(biāo)準(zhǔn)將一個屬概念分為若干個同級的種概念的邏輯方法。
