否定前件式

否定前件式是邏輯推理中的一種形式，其公式為：「只有p，才q；非p；所以，非q」。這個公式的含義是，如果某個命題只有滿足某個條件p時，才會導致結果q，那麼如果這個條件p不存在（即非p），那麼結果q也不會存在（即非q）。這是一種基於必要條件的推理，即如果沒有前件（p），就沒有後件（q）。