Modus ponens

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

Пример Modus ponens:

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

Rating: 5. Из 12 голосов.
Please wait...