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

При выводе формулы из множества аксиом и посылок используют два основных правила:

а) если Fi и ( Fi ® Fj ) есть выводимые формулы, то Fj также выводимая формула, т.е.

Правила заключения                 Fi; (FFj)

                          Fj.

это правило называют modus ponens (m.p.).

b) если формулы ùFj и (FFj) есть выводимые формулы, то ùFi также выводимая формула, т.е

                 ùFj; (FFj)

                          ùFi.

это правило называют modus tollens (m.t.).

Пример: Суждение: “Сумма внутренних углов многоугольника равна 180о (А). Если сумма внутренних углов многоугольника равна 180о (A), то многоугольник есть треугольник (В). Следовательно, дан треугольник”.

Правила заключения                 А;A®B

B.

       Пример: Суждение: ”Дан не треугольник (ùB); если сумма внутренних углов многоугольника равна 180о(А), то многоугольник есть треугольник (В). Следовательно, сумма внутренних углов многоугольника не равна 180о(ùA)”.

Правила заключения                        ùB; A®B

                                  ùA.

 

              

 

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