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

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Правила заключения

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

а) если 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.

 

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