Описание задачи Докажите, что имеют место следующие выводимости, построив соответствующие выводы из гипотез.
пример выполнения:
доказать выводимость F->G, F->(G->H), F |- H
решение:
F->G - гипотеза F->(G->H) - гипотеза F - гипотеза G - modus ponens, 1, 3 G->H - modus ponens, 2, 3 H - modus ponens, 4, 5
помимо решения, поясните, пожалуйста (хотя бы на одном примере), на каждом шаге, почему используются те или иные аксиомы/законы/свойства и как именно они используются.
Тип: Решение задач
Предмет: Логика
Математическая логика и теория алгоритмов. Билет 13.
Стоимость: 402,5 руб.
Тип: Решение задач
Предмет: Логика
Представление словесного высказывания в предикатной форме
Стоимость: 437,5 руб.
Казалось бы, наши студенты уже знают весь перечень сопроводительной документации, необходимой для сдачи . Вот только некоторых просят в дополнение ко всем приложениям предоставить еще и апробацию результатов исследования дипломной работы.Кто-то удивленно поднимет брови, кто-то подавится булочкой, а…
Читать дальшеВ нашем есть много информации о написании курсовой. В этой статье давайте подробно остановимся на оформлении титульного листа.Титульный лист курсового проекта – это первая страница работы, которая предваряет ее содержание. Оформляются титульные листы согласно ГОСТ 7.32-2001 «Отчет о научно-исследо…
Читать дальше