Modus Ponens

We use cookies. Read the Privacy and Cookie Policy

Modus Ponens

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

Данный текст является ознакомительным фрагментом.