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

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

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

Нужна помощь в написании работы?

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

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

              

Покори английский в игровой форме! Основные преимущества:

  • Занимайся с любого девайса
  • Тренируйся с азартом
  • Выбирай интересные материалы
  • Проходи увлекательные языковые курсы
  • Учись со львом играючи

Начать изучать бесплатно

 

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