Modus ponens

No votes yet.
Please wait...

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

Пример Modus ponens:

Если Сократ человек, то он смертен; однако Сократ человек, следовательно, Сократ смертен.

No votes yet.
Please wait...