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

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

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

F1; (F1®F2)

                                    F2.

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

ùF2; (F1®F2)

                                    ùF1.

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