Логика - доступно для всех

Тест на логику "Логическое сравнение". 93% не проходят его с первого раза.А ты?

Пройти тест

Существует два основных правила определения истинности заключения:

а) если F1 и (F1®F2) выводимые фор­мулы, то F2 также выводима. Это - правило modus ponens (m.p).

F1; (F1®F2)

                                    F2.

b) если ùF2 и (F1®F2) выводимые формулы, то ùF1 также. выводима. Это - правило modus  tollens (m.t).

ùF2; (F1®F2)

                                    ùF1.

Эти правила определяют схему вывода и позволяют использовать правила подстановки, введения и удаления кванторов и делать вывод об истинности заключения.