Nella logica, il modus ponens, accorciamento del latino modus ponendo ponens, è una semplice e valida regola d'inferenza, che afferma in parole: Se p implica q è una proposizione vera, e anche la premessa p è vera, allora la conseguenza q è verao in notazione con operatori logici: [ ∧ p ] ⊢ q {\displaystyle [\land p]\vdash q} dove ⊢ {\displaystyle \vdash } rappresenta l'asserzione logica, nota anche come sequente. Wikipedia