式写为：
解说.在元逻辑中肯定前件是切规则。切消定理声称切是在某些逻辑演算（相继式演算）中有效的（可容纳规则）。这个论证形式有两个前提。第一个前提是"if-then"或逻辑条件断言，表示为P蕴涵Q。第二个前提是这个条件断言的前件P是真的。从这两个前提可以在逻辑上得出后件Q一定也是真的。下面是符合这种肯定前件的论证的例子：这个论证是有效的的事实不能确保在论证中的任何陈述是真的；肯定前件的有效性告诉我们结论必然是真的，如果所有前提是真的。记住在其中一个或多个前提不是真的的有