Modus Ponens
Modus Ponens
Верное заключение, состоящее в переходе от истинности посылки к истинности ее необходимого следствия. Modus ponens принимает форму: если р, то q; однако р, следовательно, q (например: если Сократ человек, то он смертен; однако Сократ человек, следовательно, Сократ смертен).
Данный текст является ознакомительным фрагментом.