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

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

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

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Узнать стоимость

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

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

 

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

     

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.

 

 

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