Тема: Математическая логика (Вариант 2)
Закажите новую по вашим требованиям
Представленный материал является образцом учебного исследования, примером структуры и содержания учебного исследования по заявленной теме. Размещён исключительно в информационных и ознакомительных целях.
Workspay.ru оказывает информационные услуги по сбору, обработке и структурированию материалов в соответствии с требованиями заказчика.
Размещение материала не означает публикацию произведения впервые и не предполагает передачу исключительных авторских прав третьим лицам.
Материал не предназначен для дословной сдачи в образовательные организации и требует самостоятельной переработки с соблюдением законодательства Российской Федерации об авторском праве и принципов академической добросовестности.
Авторские права на исходные материалы принадлежат их законным правообладателям. В случае возникновения вопросов, связанных с размещённым материалом, просим направить обращение через форму обратной связи.
📋 Содержание
Задание 1
Составить множество истинности предиката: Р(х) = {х2 - 9=0}
Задание 2
Изобразить с помощью диаграмм Эйлера-Венна область истинности предиката:
Задание 3
Составить п.н.ф. формулы логики предикатов
Задание 4
Указать свободные и связанные переменные в формуле
Задание 5
Составить предикат, область истинности которого заштрихована на рисунке:
Задание 6
Для формул записать результаты каждой из следующих подстановок:
∫_(х,у,z)^(Aᴠ¯С,А,B)▒〖(L),〗 ∫_(х,у,z)^(DᴧC,¯B,В)▒〖(М)〗
Задание 7
Применяя правило подстановки, доказать, что формула доказуема:
((В→С)→¯С) → (( ¯А →¯С) →(( В→С) ᴠ ¯А) → ¯С
Задание 8
Применяя правила вывода, установить доказуемость формулы
(⊢D,⊢C)/(⊢СᴧD)
Список используемой литературы