A modus ponens az egyik legalapvetőbb következtetési szabály. Ha valakinek el kell magyarázni, hogy fest egy érvényes deduktív következtetés, rendszerint ezt hozzuk példának, s ilyesmiket mondunk:
Ha esik az eső, (akkor) nedves a járda. Esik az eső \ Nedves a járda.
Ha Othello…