Напишем:


✔ Реферат от 200 руб.
✔ Контрольную от 200 руб.
✔ Курсовую от 500 руб.
✔ Решим задачу от 20 руб.
✔ Дипломную работу от 3000 руб.
✔ Другие виды работ по договоренности.

Узнать стоимость!

Не интересно!

 

- , ,

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

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

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

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

              

 

Авторизация на сайте

Случайная новость