Поможем написать любую работу на аналогичную тему
Получить выполненную работу или консультацию специалиста по вашему
учебному проекту
Узнать стоимостьСуществует два основных правила определения истинности заключения:
а) если 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 авторов готовы помочь вам прямо сейчас. Бесплатные
корректировки и доработки. Узнайте стоимость своей работы.