Контрольная Логика (5 заданий) 3 Установите логическую структуру высказывания
Предмет:Логика Тип работы:Контрольная Количество страниц:4
«»Задание 1 3
Установите логическую структуру высказывания
«Объектом социального управления являются существующие в обществе отношения, социальные образования, отдельные люди».
Задание 2 3
Укажите способ, которым дано определение, установите ошибки в данном определении и скорректируйте его:
«Беззаконие положение, при котором общественная жизнь не обеспечивается законами».
Задание 3 3
Осуществите обращение и превращение суждения:
« Не все статьи конституции допускают однозначное толкование»
Задание 4 3
Приведите примеры на все допустимые модусы IV фигуры простого, категорического силлогизма.
Задание 5 4
Установите ошибку в доказательстве:
«Неумеренное увлечение алкоголем вредно для здоровья и вообще влечет за собой всяческие несчастья. Почти 90% людей, умерших от рака желудка, употребляли алкоголь много и регулярно. 81% людей, ставших жертвами ДТП также достаточно много и неумеренно пили. Почти 100% людей, умерших от переохлаждения на улице – также алкоголики»
Список литературы 5″»
Цена:490 руб.
Выдержка из подобной работы:
….
Логика высказываний. Логика предикатов. Реляционная логика
…..ке в частности. Математическая логика нашла широкое применение в языках программирования. А в 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Это направление является самым развивающимся и перспективным.
Поэтому целью данной курсовой работы является знакомство с методами решений задач логики высказываний логики предикатов и реляционной логики.
Задачами которые будут решаться в работе являются:
ознакомиться с алгеброй логики высказываний и исчислением высказываний
рассмотреть алгебру логики предикатов и исчисление предикатов
изучить реляционную алгебру.
Для решения поставленных задач использовался теоретический материал научных работ Лаврова И.А. Максимовой Л.Л. и Пономарева В.Ф.
1. Логика высказываний
Выполнить задания по алгебре высказываний и исчислению высказываний:
{ÚB); →; →D)}├
Обозначим ÚB G=A→→D J=
а. Построить таблицу истинности.
Рисунок 1 — Таблица истинности
ABAÚBA→→D® Ú®D = ØBÚD
Формулы H и J остаются без изменения.
в. Привести посылки и заключение к базисам {Ø &} и {Ø Ú}:
=AvB=Ø&ØB)
H=AvB
®Ú&Ø = Ø&Ø = A®Ú= B®D = ØBÚD = Ø &ØD) = Ø&ØD) = B®D = ØBÚD
J==Ø&ØD)
J=
г. Для посылок и заключения построить КНФ ДНФ СКНФ СДНФ:
= AvB = &B) Ú &B) Ú &ØB) ;
®Ú = & Ú & Ú &Ø ;
G = B®D = ØBÚD
G = &D) Ú &D) Ú &ØD) ;
J =
J = &D) Ú &D) Ú &ØD) ;
д. Доказать истинность заключения путём построения дерева доказательства
вп {Avvv Dvvvvv DvÚB→DÚ→ÚB→DÚÚB}├ AÚB
вп {AÚB; A→ÚB→DÚÚB; A→ÚB{B→D}├ BÚÚD
вп {AÚB; B→D}├ BÚÚD
{AÚB; A→ÚÚB; A→ B→D}├ BÚÚD {AÚB; A→ B→D}├
Рисунок 2 — Граф построения дерева доказательства
е. Доказать истинность заключения методом дедуктивного вывода :
AÚB A→→D
m.p. AÚB→BÚÚÚD
BÚÚD
Рисунок 3 — Граф дедуктивного вывода
ж. Доказать истинность заключения методом резолюции :
Приведем посылки и отрицание заключения к виду КНФ:
= AvB= A→