Can you summarize the following document?
        
  肯定前件規則可以用相繼式符號寫為:  或用規則形式寫為:

  在元邏輯中肯定前件是切規則。切消定理聲稱切是在某些邏輯演算(相繼式演算)中有效的(可容納規則)。  這個論證形式有兩個前提。第一個前提是"if-then"或邏輯條件斷言,表示為P蘊涵Q。第二個前提是這個條件斷言的前件P是真的。從這兩個前提可以在邏輯上得出後件Q一定也是真的。  下面是符合這種肯定前件的論證的例子:  這個論證是有效的的事實不能確保在論證中的任何陳述是真的;肯定前件的有效性告訴我們結論必然是真的,如果所有前提是真的。記住在其中一個或多個前提不是真的的有效論證是"不可靠"的論證,而如果所有前提都是真的,則這個論證是"可靠的"。在多數邏輯系統中,肯定前件是有效的。但是它的應用例項可以是可靠的也可以是不可靠的。  使用肯定前件的命題論證被稱為是演繹的。  肯定前件也叫做"分拆律"。
在邏輯中,肯定前件(拉丁語:"Modus ponens")是有效的、簡單的論證形式(常縮寫為MP):