Modus ponens это верное заключение, состоящее в переходе от истинности посылки к истинности ее необходимого следствия. Modus ponens принимает форму: если р, то q однако р, следовательно, q
Пример Modus ponens:
Если Сократ человек, то он смертен; однако Сократ человек, следовательно, Сократ смертен.