肯定前件式（modus ponens）是一種邏輯推理形式，其特點在於從條件句的前件肯定（即條件句的左側為真）推斷出後件（即條件句的右側）也為真。 肯定前件式的邏輯形式可以表示為「如果P則Q，P是真的，則Q也是真的」。