s ponens"）是有效的、简单的论证形式（常缩写为MP）:
形式符号.肯定前件规则可以用相继式符号写为：或用规则形式写为：
解说.在元逻辑中肯定前件是切规则。切消定理声称切是在某些逻辑演算（相继式演算）中有效的（可容纳规则）。这个论证形式有两个前提。第一个前提是"if-then"或逻辑条件断言，表示为P蕴涵Q。第二个前提是这个条件断言的前件P是真的。从这两个前提可以在逻辑上得出后件Q一定也是真的。下面是符合这种肯定前件的论证的例子：这个