分離規則

分離規則( modus ponens或 rule of detachment)形式系統中的基本變形規則。它規定:由某系統斷定或肯定A和A-B,可以推得該系統也斷定B。