Выполнить следующие бинарные операции и составить результирующие таблицы.

КУРСОВАЯ РАБОТА

по дисциплине «Математическая логика и теория алгоритмов»

на тему: «Логика высказываний. Логика предикатов. Реляционная логика»

Студент _________________ Лысов Н.И. Шифр 100388

Учебно-научно-исследовательский институт информационных технологий

Специальность 230201 «Информационные системы и технологии»

Группа 21-ИТ

Руководитель __________________ Артемов А.В.

Баллы: Итого баллов:

Оценка: «________________» Дата ______________

Орел, 2011

МИНОБРНАУКИ РОССИИ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ - УЧЕБНО-НАУЧНО-ПРОИЗВОДСТВЕННЫЙ КОМПЛЕКС»

Кафедра «Информационные системы»

УТВЕРЖДАЮ:

____________ И.С.Константинов

«___»_____________20__г.

ЗАДАНИЕ

На курсовую работу

по дисциплине «Математическая логика и теория алгоритмов»

Студент Лысов Н.И. Шифр 100388

Учебно-научно-исследовательский институт информационных технологий

Специальность 230201 «Информационные системы и технологии»

Группа 21–ИТ

1 Тема курсовой работы

«Логика высказываний. Логика предикатов. Реляционная логика»

2 Срок сдачи студентом законченной работы 21.12.2011

3 Исходные данные

Практическое задание:

Выполнить задания по алгебре высказываний и исчислению высказываний.

Выполнить задание по алгебре предикатов и исчислению предикатов.

Выполнить задания по реляционной логике.

4 Содержание курсовой работы

Логика высказываний.

Логика предикатов.

Реляционная логика.

5 Отчетный материал курсовой работы

Пояснительная записка курсовой работы

Руководитель ________________________Артемов А.В.

Задание принял к исполнению: « 26 » сентября 2011 г.

Подпись студента___________________

Cодержание

Введение 4

1 Логика высказываний 5

2 Логика предикатов 12

3 Реляционная алгебра 16

Заключение 20

Список литературы 21

Введение

В середине XX века развитие вычислительной техники привело к появлению логических электронных элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и логического моделирования логических устройств и средств вычислительной техники. Эти проблемы изучает теория алгоритмов, основанная на математике, и математической логике в частности. Математическая логика нашла широкое применение в языках программирования. А в 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Это направление является самым развивающимся и перспективным.

Поэтому целью данной курсовой работы является знакомство с методами решений задач логики высказываний, логики предикатов и реляционной логики.

Задачами, которые будут решаться в работе, являются:

- ознакомиться с алгеброй логики высказываний и исчислением высказываний,

- рассмотреть алгебру логики предикатов и исчисление предикатов,

- изучить реляционную алгебру.

Для решения поставленных задач использовался теоретический материал научных работ Лаврова И.А., Максимовой Л.Л. и Пономарева В.Ф.

Логика высказываний

1.1 Выполнить задания по алгебре высказываний и исчислению высказываний:

{(AÚB); (AC); (BD)} CÚD

Обозначим F=AÚB , G=AC, H=BD, J=CÚD

а. Построить таблицу истинности.

Рисунок 1 – Таблица истинности

A	B	C	D	AÚB	AC	BD	CÚD
				F	G	H	J

В таблице истинности жирным шрифтом выделены столбцы с посылками, а жирным и курсивом выделено заключение. Смотря на те строчки, в которых истины все посылки одновременно видно, что заключение также истинно. Поэтому можно сделать вывод, что данное заключение выводимо из данного множества посылок.

б. Упростить посылки и заключения, т.е. привести их к базису {Ø, &, Ú} с минимальным числом операций:

F = A® C = ØAÚC

G = B®D = ØBÚD

Формулы H и J остаются без изменения.

в. Привести посылки и заключение к базисам {Ø, &} и {Ø, Ú}:

H=AvB=Ø(ØA&ØB) (в базисе {Ø, &})

H=AvB (в базисе {Ø, Ú})

F = = A®C= ØAÚC = Ø (ØØA&ØC) = Ø(A&ØC) (в базисе {Ø, &})

F = A®C = ØAÚC (в базисе {Ø, Ú})

G = B®D = ØBÚD = Ø (ØØB&ØD) = Ø(B&ØD) (в базисе {Ø, &})

G = B®D = ØBÚD (в базисе {Ø, Ú})

J=CvD=Ø(ØC&ØD) (в базисе {Ø, &})

J=CvD (в базисе {Ø, Ú})

г. Для посылок и заключения построить КНФ, ДНФ, СКНФ, СДНФ:

H = AvB (КНФ, ДНФ, СКНФ)

H = (A&B) Ú (ØA&B) Ú (A&ØB) (СДНФ, построенная с помощью таблицы истинности);

F = A®C = ØAÚC (КНФ, ДНФ, СКНФ)

F = (A&C) Ú (ØA&C) Ú (ØA&ØC) (СДНФ, построенная с помощью таблицы истинности);

G = B®D = ØBÚD (КНФ, ДНФ, СКНФ)

G = (B&D) Ú (ØB&D) Ú (ØB&ØD) (СДНФ, построенная с помощью таблицы истинности);

J = CvD (КНФ, ДНФ, СКНФ)

J = (C&D) Ú (ØC&D) Ú (C&ØD) (СДНФ, построенная с помощью таблицы истинности);

д. Доказать истинность заключения путём построения дерева доказательства

вп {AvC} AvC

{AvC; DvC} AvC вп {DvC} DvC

mp{AvC; DvC} AÚBDÚC

{AC} AÚBDÚC {AÚB} AÚB

вп {AÚB; AC} AÚBDÚC вп {AÚB; AC} AÚB

mp {BD} BÚCCÚD

вп {AÚB; BD} BÚCCÚD

{AÚB; AC} BÚC вп {AÚB; AC; BD} BÚCCÚD

mp {AÚB; AC; BD} CÚD

Рисунок 2 – Граф построения дерева доказательства

е. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода):

AÚB AC BD

m.p. AÚBBÚC BÚCCÚD

BÚC

m.p.

CÚD

Рисунок 3 – Граф дедуктивного вывода

ж. Доказать истинность заключения методом резолюции (с построением графа вывода пустой резольвенты):

Приведем посылки и отрицание заключения к виду КНФ:

H = AvB

F = AC = ØAÚC

G = BD = ØBÚD

ØJ ==Ø (CÚD)=( ØC)&( ØD)

K = { AvB, ØAÚC, ØBÚD, ØC, ØD }

Построим граф вывода пустой резольвенты:

ØAÚC ØC AÚB ØBÚD ØD

ØA

Рисунок 4 – Граф вывода пустой резольвенты

1.2 Выполнить задания по алгебре высказываний и исчислению высказываний:

{A® (B®C);A®B;A} |- C

Обозначим F= A® (B®C), G=A®B, H=A и J=C.

а. Построить таблицу истинности.

Рисунок 5 – Таблица истинности

A	B	C	AàB	BàC	Aà(BàC)
H		J	G		F

В таблице истинности жирным шрифтом выделены столбцы с посылками, а жирным и курсивом выделено заключение. Смотря на те строчки, в которых истины все посылки одновременно (в данном случае это последняя строчка, которая выделена жирной рамкой), видно, что заключение также истинно. Поэтому можно сделать вывод, что данное заключение выводимо из данного множества посылок.

б. Упростить посылки и заключения, т.е. привести их к базису {Ø, &, Ú} с минимальным числом операций:

F = A® (B®C) = ØAÚ(B®C) = ØAÚØBÚC

G = A®B = ØAÚB

Формулы H и J остаются без изменения.

в. Привести посылки и заключение к базисам {Ø, &} и {Ø, Ú}:

F = A® (B®C) = ØAÚØBÚC = Ø(ØØA&Ø(ØBÚC)) = Ø(A&ØØB&ØC) = Ø(A&B&ØC) (в базисе {Ø, &})

F = A® (B®C) = ØAÚØBÚC (в базисе {Ø, Ú})

G = A®B = ØAÚB = Ø (ØØA&ØB) = Ø(A&ØB) (в базисе {Ø, &})

G = A®B = ØAÚB (в базисе {Ø, Ú})

Формулы H и J остаются без изменения.

г. Для посылок и заключения построить КНФ, ДНФ, СКНФ, СДНФ:

F = A® (B®C) = ØAÚØBÚC (КНФ, ДНФ, СКНФ)

F=(A&B&C) Ú (ØA&B&C) Ú (ØA&B&ØC) Ú (ØA&ØB&ØC) Ú (A&ØB&C) Ú (A&ØB&ØC) Ú (ØA&ØB&C) (СДНФ, построенная с помощью таблицы истинности)

G = A®B = ØAÚB (КНФ, ДНФ, СКНФ)

G = (A&B) Ú (ØA&B) Ú (ØA&ØB) (СДНФ, построенная с помощью таблицы истинности);

Формулы H и J остаются без изменения.

д. Доказать истинность заключения путём построения дерева доказательства

ВП

{AB} | AB {A} | A

{AB, A(BC), A}| AB {AB, A(BC), A}| A

{AB, A(BC), A}|B

ВП

2. {A(BC)} | A(BC){A} | A

{AB, A(BC), A}| AB {AB, A(BC), A}| A

{AB, A(BC), A}|BC

3. {AB, A(BC), A}|B {AB, A(BC), A}|BC

{AB, A(BC), A}|C

Рисунок 6 – Граф построения дерева доказательства

е. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода):

Построим граф дедуктивного вывода.

A(BC) A A B

BC B

Рисунок 7 – Граф дедуктивного вывода

ж. Доказать истинность заключения методом резолюции (с построением графа вывода пустой резольвенты):

Приведем посылки и отрицание заключения к виду КНФ:

F= A® (B®C) = ØAÚØBÚC

G=A®B = ØAÚB

H=A

ØJ=ØC

K = {ØAÚB,ØAÚØBÚC,A,ØC}

Построим граф вывода пустой резольвенты:

A AÚB AÚBÚC C

AÚB

Рисунок 8 –Граф вывода пустой резольвенты

Логика предикатов

2.1 Выполнить задание по алгебре предикатов и исчислению предикатов:

F = ("x (B(x))$x (A(x))) & $y (A(x)C(y)) (C(y) & B(x))

а. Привести выражение к виду ПНФ

F = ("x(B(x))$x(A(x)))&$y(A(x)C(y))(C(y)&B(x))=($x (B(x))Ú Ú$x (A(x))) Ú ($y (A(x) Ú C(y))) Ú C(y) Ú B(x) = "x(B(x)) & "x(A(x))Ú Ú"y(A(x) & C(y)) Ú C(y) Ú B(x) = "x(B(x) & A(x)) Ú "y(A(x) & C(y)) Ú ÚC(y) Ú B(x) = [x = t] = "t(B(t) & A(t)) Ú "y(A(x) & C(y)) Ú C(y) Ú B(x) = =[y = n] = "t(B(t) & A(t)) Ú "n(A(x) & C(n)) Ú C(y) Ú B(x) = "t "n (B(t) & &A(t) Ú A(x) & C(n) Ú C(y) Ú B(x)= "t "n ((B(t) Ú C(y) Ú B(x)) & (A(t) Ú ÚC(y) Ú B(x)) Ú A(x) & C(n)) = "t "n ((B(t) Ú C(y) Ú B(x) Ú A(x))& (A(t)Ú ÚC(y) Ú B(x) ÚA(x))&(B(t)ÚC(y)ÚB(x)ÚC(n))&(A(t)ÚC(y)Ú B(x)ÚC(n)))

Для приведения к виду ССФ воспользуемся алгоритмом Сколема, поэтому будут проведены следующие замены:

w = t, где t – предметная постояннаяn

k = n, где n – предметная постоянная

В результате получится следующее выражение:

F="t"n((B(t)ÚC(y)Ú B(x) Ú A(x)) & (A(t) Ú C(y)ÚB(x)ÚA(x)) &(B(t)Ú ÚC(y) Ú B(x) Ú C(n)) & (A(t) Ú C(y) Ú B(x) Ú C(n))).

в. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода):

Представим нашу формулу в следующем виде:

{("x (B(x))$x (A(x))) & $y (A(x)C(y))} (C(y) & B(x))

Построим граф дедуктивного вывода для доказательства выводимости заключения из данного множества посылок:

"x (B(x))$x (A(x)) $y (A(x)C(y))

B(t)$x (A(x)) A(a)C(a)

B(t)A(a) B(t)C(a)

B(x) Ú C(y)

(C(y) & B(x))

Рисунок 9 – Граф дедуктивного вывода

г. Доказать истинность заключения методом резолюции (с построением графа вывода пустой резольвенты)

ØF = ("x (B(x))$x (A(x))) & $y (A(x)C(y)) = ($x (B(x)) Ú $x (A(x)))&

&$y(A(x) Ú C(y)) = [x=n] = $n ((B(n) Ú A(n)) & $y(A(x) Ú C(y)) = =$n$y((B(n) Ú A(n)) & (A(x) Ú C(y))) = $n((B(a) Ú A(a)) & (A(x)Ú

ÚC(y))) = (B(a) Ú A(a)) & (A(x) Ú C(b))

F = C(y) & B(x)

D={B(a) Ú A(a); A(x) Ú C(b); C(y); B(x)}

_a^x

B(a) Ú A(a) B(x)

_a^x

A(a) A(x) Ú C(b)

_b^y

C(b) C(y)

Рисунок 10 –Граф вывода пустой резольвенты

2.2 Выполнить задание по алгебре предикатов и исчислению предикатов:

F = "x (A(x)®B(y))& "z(C(z)®A(x))®$y(C(z)®B(y))

а. Привести выражение к виду ПНФ

F = "x (A(x)®B(y))& "z(C(z)®A(x))®$y(C(z)®B(y))=

=("x (A(x) ®B(y))& "z(C(z) ®A(x)))V$y(C(z) ®B(y))=

=Ø "x (ØA(x)VB(y))V "z(ØC(z)VA(x))V$y(ØC(z)VB(y)))=

=$x(A(x)&ØB(y))V $z (C(z)&ØA(x))V$y(ØC(z)VB(y))=

=$v(A(v)&ØB(y))V $w (C(w)&ØA(x))V$t(ØC(z)VB(t))=

=$v$w$t ((A(v)&ØB(y))V(C(w)&ØA(x))V(ØC(z)VB(t)))

F = $v$w$t ((A(v)&ØB(y))V(C(w)&ØA(x))V(ØC(z)VB(t)))

б. Привести выражение к виду ССФ

Для приведения к виду ССФ воспользуемся алгоритмом Сколема, поэтому будут проведены следующие замены:

v = a, где a – предметная постоянная

w = b, где b – предметная постоянная

t = c, где c – предметная постоянная

В результате получится следующее выражение:

F =((A(a)&ØB(y))V(C(b)&ØA(x)VØC(z)VB(c)))

в. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода):

Представим нашу формулу в следующем виде:

{"x (A(x)®B(y)); "z(C(z)®A(x)) }|- $y(C(z)®B(y))

Построим граф дедуктивного вывода для доказательства выводимости заключения из данного множества посылок:

У "

"x (A(x)®B(y)) "z(C(z)®A(x))

У "

A(x) ®B(y) C(z) ®A(x)

C(z) ®B(y)

$y(C(z)®B(y))

Рисунок 11 – Граф дедуктивного вывода

г. Доказать истинность заключения методом резолюции (с построением графа вывода пустой резольвенты)

ØF = Ø("x (A(x)®B(y))& "z(C(z)®A(x))®$y(C(z)®B(y))) =

= (("x (A(x)VB(y))& "z(C(z)VA(x)))V$y(C(z)VB(y))) =

= "x (A(x)VB(y))& "z(C(z)VA(x))& "y(C(z)& B(y)) =

="v (A(v)VB(y))& "w(C(w)VA(x))V"t(C(z)&B(t))=

= "v"w"t ((A(v)VB(y))&(C(w)VA(x))&C(z)& B(t)

ØF = "v"w"t ((A(v)VB(y))&(C(w)VA(x))&C(z)& B(t))

Д = { A(v)VB(y); C(w)VA(x); C(z); B(t) }

Построим граф вывода пустой резольвенты:

A(v)VB(y) C(w)VA(x) C(z) B(t)

_z^w

_v^x A(x)

B(y)

t ^y

Рисунок 12 – Граф дедуктивного вывода

Реляционная алгебра

3.1 Выполнить следующие бинарные операции и составить результирующие таблицы.

1) (r₁Èr₂)

2) (r₁Çr₂)

3) (r₁\ r₂)

4) Выполнить заданную композицию операций

Таблица 13- r₁ Таблица 14 - r₂

A₁	A₂	A₅	A₆
a3	b4
a1	b1
a2	b2
a3	b3

A₁	A₂	A₅	A₆
a1	b2
a2	b3
a1	b1
a2	b2

1)Таблица 15 - (r₁Èr₂) 2)Таблица 16 - (r₁Çr₂)

A₁	A₂	A₅	A₆
a3	b4
a1	b1
a2	b2
a3	b3
a1	b2
a2	b3

A₁	A₂	A₅	A₆
a1	b1
a2	b2

3)Таблица 17 - (r₁\ r₂)

A₁	A₂	A₅	A₆
a3	b4
a3	b3

r’ = d ((r₁>< r₂, (r₁× A₆ = r₂× A₆)), d (r₂× A₁) = a2)

4) Таблица 18 - r₁ Ä r₂

r₁.A₁	r₁.A₂	r₁.A₅	r₁.A₆	r₂.A₁	r₂.A₂	r₂.A₅	r₂.A₆
a3	b4			a1	b2
a3	b4			a2	b3
a3	b4			a1	b1
a3	b4			a2	b2
a1	b1			a1	b2
a1	b1			a2	b3
a1	b1			a1	b1
a1	b1			a2	b2
a2	b2			a1	b2
a2	b2			a2	b3
a2	b2			a1	b1
a2	b2			a2	b2
a3	b3			a1	b2
a3	b3			a2	b3
a3	b3			a1	b1
a3	b3			a2	b2

5)Таблица 19 - r₁>< r₂

r₁.A₁	r₁.A₂	r₁.A₅	r₁.A₆	r₂.A₁	r₂.A₂	r₂.A₅	r₂.A₆
a1	b1			a2	b3
a1	b1			a1	b1
a2	b2			a1	b2
a2	b2			a2	b2

6) Таблица 20 - r’ = d ((r₁>< r₂, (r₁× A₆ = r₂× A₆)), d (r₂× A₁) = a2)

r₁.A₁	r₁.A₂	r₁.A₅	r₁.A₆	r₂.A₁	r₂.A₂	r₂.A₅	r₂.A₆
a1	b1			a2	b3
a2	b2			a2	b2

Выполнить следующие бинарные операции и составить результирующие таблицы.

1) (r₁Èr₂)

2) (r₁Çr₂)

3) (r₁\ r₂)

4) Выполнить заданную композицию операций

А₃	А₄	А₇	А₈
c₃	d₄
c₄	d₁
c₁	d₂
c₂	d₃

Таблица 21 - r₁ Таблица 22 - r₂

А₃	А₄	А₇	А₈
с₁	d₂
с₂	d₃
с₁	d₁
с₂	d₂

A₃	A₄	A₇	A₈
c₁	d₂
c₂	d₃

1) Таблица 23 - (r₁Èr₂) 2) Таблица 24 - (r₁Çr₂)

А₃	А₄	А₇	А₈
c₁	d₂
c₂	d₃
c₁	d₁
c₂	d₂
c₃	d₄
C₄	d₁

А₃	А₄	А₇	А₈
c₁	d₁
c₂	d₂

3) Таблица 25 - (r₁\ r₂)

4) Таблица 26 - r₁>^q<r₂, d(r1.A₇)< d(r₂.A₇)

r₁A₃	r₁A₄	r₁A₇	r₁A₈	r₂A₃	r₂A₄	r₂A₇	r₂A₈
c₁	d₂			c₃	d₄
c₁	d₂			c₄	d₁
c₁	d₂			c₂	d₃
с₂	d₃			c₃	d₄
с₂	d₃			c₄	d₁
с₁	d₁			c₃	d₄
с₁	d₁			c₄	d₁
с₂	d₂			c₃	d₄
с₂	d₂			c₄	d₁
с₂	d₂			c₂	d₃

5) Таблица 27 - p₍ _{r1.A3, r1.A4, r2}_×_A7,r2.A8)(r₁>^q<r₂, d(r1.A₇)< d(r₂.A₇))

r₁A₃	r₂A₄	r₂A₇	r₂A₈
c₁	d₂
c₁	d₂
c₁	d₂
с₂	d₃
с₂	d₃
с₁	d₁
с₁	d₁
с₂	d₂
с₂	d₂
с₂	d₂

Заключение

Вместе с развитием вычислительных систем, стремительно развиваются и другие отрасли цифрового мира. С каждым днем цифровые технологии все больше входят в нашу жизнь. И уже сложно представить себе окружающий мир без различных цифровых устройств, которые с каждой секундой появляются все новые и новые, и становятся все интеллектуальнее и интеллектуальнее.

Цель данной курсовой была достигнута.

В работе решены все поставленные задачи, такие как, ознакомление с алгеброй высказываний и исчислением высказываний, рассмотрение алгебры предикатов и исчисления предикатов, изучение реляционной алгебры.

В ходе работы над курсовой работой была изучена научная и учебная литература по теме «Математическая логика и теория алгоритмов», так же были широко использованы материалы Интернет-ресурсов.

Список литературы

1.Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – 5-е изд., исправ. – М.: ФИЗМАЛИТ, 2004. – 256 с.

2. Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов. Учебное пособие – Калининград: КГТУ, 2001. – 140 с.

3. Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая. Учебное пособие – Калининград: КГТУ, 2001. – 104 с.

4. Фролов И.С. Элементы математической логики: Учеб. Пособие для студентов математических специальностей. – Самара: Изд-во «Самарский университет», 2001. – 80 с.