Лекции по математической логике1. Элементы математической логики

• Название: Элементы математической логики
• Анкор: Лекции по математической логике1.doc
• Дата: 03.11.2017
• Размер: 2.19 Mb.
• Имя файла: Лекции по математической логике1.doc
• Тип: Документы; #10077
• Категория: Математика
• страница: 1 из 8

Начало

Элементы математической логики.
Математическая логика – раздел науки, истоки которого восходят к Аристотелю (384 -322 г. до н. э.). Как математическая дисциплина начала формироваться в середине XIX в., благодаря работам английского логика и математика Дж. Буля (1815-1864).

Целью логики является анализ методов рассуждений, при этом логика, прежде всего, интересуется формой, а не содержанием рассуждений, то есть выясняет, следует истинность заключения из истинности посылок. Это время характеризовано кризисом в физике, обусловленным ломкой старых представлений о материальном объекте, не учитывающих, что всякий материальный объект неисчерпаем по своим свойствам; кризисом в математике, обусловленных открытием порядков, то - есть рассуждений, приводящих к противоречиям. Известны и логические парадоксы.

1. Примером множеств являются множество всех студентов группы, множество преподавателей, множество всех людей. Объекты, из которых состоит множество, называются его элементами. Множество могут быть и элементами множеств. Например, множество студенческих групп в качестве элементов содержит множество студентов отдельных групп. Большинство множеств не являются элементами самих себя. Например, множество всех людей не являются элементом себя, так как само не человек. Однако множество всех множеств – элемент самого себя.

Рассмотрим теперь множество А всех таких множеств Х, что Х не есть элемент х. Согласно определению, если А есть элемент А, то А также и не есть элемент А, а если А не есть элемент А, то А есть элемент А. В любом случае А есть элемент А и А не есть элемент А. Этот парадокс открыт Б. Расселом в 1902г.

Семантический парадокс «лжеца» таков.

Некоторое лицо говорит: «Высказывание, которое я сейчас произнесу, ложно». Стоящее в кавычках высказывание не может быть без противоречия ни истинным, ни ложным. Этот парадокс был хорошо известен в древности (парадокс Эвбулида – IV в. до н.э.).

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

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

Логика нашла энергичные применение в вычислительной технике в теории преобразовании и передачи информации, в экономике, биологии, психологии и т.д.

Математическая логика разделяется на ряд отдельных разделов: двузначная, многозначная, пороговая, непрерывная, нечеткая, порядковая логики.

Объектом математической логики являются любые дискретные конечные системы, а ее главная задача – структурное моделирование таких систем.
ПОНЯТИЕ ВЫСКАЗЫВАНИЯ

В логике под высказыванием понимают предложение, относительно которого можно сказать, истинно оно или ложно в настоящее время.

Примеры: 1.Дон впадает в Азовское море. 2.Два больше трех. 3.Я лгу.

Первые два предложения являются высказываниями, первое из них – истинно, второе – ложно. Третье предложение не является высказыванием. Допустим, что это предложение истинно тогда в силу его смысла, оно должно быть ложным. Аналогично, из ложности этого предложения вытекает его истинность.

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

Из высказываний путем соединения их различными способами можно составлять новые, более сложные высказывания. Для образования таких комбинаций будем использовать логические операции, основные из которых вводятся следующим образом.
ЛОГИЧЕСКИЕ ОПЕРАЦИИ

Пусть даны два произвольных высказывания А и В.

1. 
   Выражение АΛВ означает высказывание, истинное только тогда, когда А и В истинны. Такое высказывание называется конъюнкцией высказывания А и В. Символ Λ означает операцию, называемую конъюнкцией. В обычной речи этой операции соответствует соединение высказываний союзом «И», «А», «ДА». Будем считать, что если А, В истинны, то они соответственно принимают значение 1, ложно – 0.
   

Таблица истинности данной операции имеет вид Λ?&

А	В	АΛВ
0	0	0
1	0	0
0	1	0
1	1	1

Логические операции называются конъюнкцией.

2. 
   Выражение АВ означает высказывание, истинное, когда, по крайне мере одно из высказывание А или В истинно.
   

Такое высказывание называется дизъюнкцией высказываний А и В. Символ означает операцию, называемой дизъюнкцией. В обычной речи этой операции соответствует соединение высказыванием связкой «ИЛИ».

Таблица истинности

А	В	АВ
0	0	0
1	0	1
0	1	1
1	1	1

3. 
   Выражение А>В означает высказывание, которое ложно тогда и только тогда, когда А истинно, а В ложно. Такое высказывание называется импликацией высказываний А и В. Символ > означает операцию, называемую импликацией. Читается «А влечет В» или «если А, то В»
   

Таблица истинности (А>В) = (В)

А	В	А>В
0	0	1
0	1	1
1	0	0
1	1	1

4. Выражение АВ означает высказывание, которое истинно тогда и только тогда, когда А и В оба истинны, или оба ложны. Такое высказывание называется эквивалентностью. В обычной речи этой операции соответствует соединение высказывания «тогда и только тогда, когда». (АВ) = АВ

А	В	АВ
0	0	1
0	1	0
1	0	0
1	1	1

5. 
   Выражение А означает высказывание, которое истинно, когда А ложно и ложно, когда А – истинно.
   

Такое высказывание называется отрицательным высказыванием А. Черточка над буквой означает операцию, называемую отрицанием. В обычной речи этой операции соответствует образование нового высказывания с помощью частицы НЕ.

А	В
0	1
1	0

6. 
   Операцией неравнозначности (равноименности) высказываний А,В называют составное высказывание, обозначаемое АВ, которое истинно тогда и только тогда, когда значение истинности высказываний А,В противоположны и ложно в противном случае, что отражается таблицей истинности
   

А	В	АВ
0	0	0
0	1	1
1	0	1
1	1	0

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

Например, определим значение истинности составного высказывания

D=А&(А&В>)&В

при А=0, В=1, С=1

А&В=0, А&В>С=1

А&(А&В>С)=0

&В=1, D=1.

Рассмотрим обратную задачу. Пусть D=0. Необходимо найти хотя бы один набор значение высказываний А, В, С, при которых D=0.

В составленном высказывании «D» последней логической операции является дизъюнкция, поэтому составные высказывания

А&(А&В>С)=0

&В=0.

Для того чтобы

А&(А&В>)=0 , необходимо чтобы или А=0 , или (А&В>)=0

Рассмотрим случай, когда

(А&В>)=0.

Последней операцией здесь является импликация, равная 0 в единственном случае, когда (А&В)=1, а =0. Отсюда имеем С=1, А=1, В=1. Ясно, что при А=1, В=1 составное высказывание &В=0. Таким образом требуемый набор значений А, В, С определен.
ЛОГИЧЕСКИЕ ФУНКЦИИ.

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

Если область значений функций содержит k различных элементов, то она называется k-значной функцией.

Переименуем элементы области значений функции числами 1, …,k (или обозначают буквами). Перечет всех символов, соответствующих области значений, называют алфавитом, а сами символы - буквами этого алфавита (латинского, русского или другого алфавита, порядковые числа или любые другие символы).

Логические функции могут зависеть от одной, двух и любого числа переменных (аргументов) х₁, …, х_n.

В теоретико-множественном смысле логические функции n переменных y=f(x₁, …, x_n) представляет собой отображение множества наборов (n-мерных векторов, кортежей последовательностей) вида (х₁, х₂, …, х_n) являющегося областью ее определения, на множество ее значений.

Если аргументы принимают значения из того же множества, что и сама функция, то ее называют однородной функцией.

Логическую функцию можно также рассматривать как операцию, заданную законом композиции

Х₁Х₂…Х_n>N, где Х₁, …, Х_n – множества, на которых определены аргументы

х₁Х₁ , х₂Х₂ , …, х_nХ_n .

Если Х₁= Х₂=…= Х_n=N, и однородная функция, рассматриваемая как закон композиции

Nⁿ>N, определяет n-местную операцию на конечном множестве N.

Областью определения однородной функции y=f(x₁, x₂, …, x_n) служит множество наборов (х₁, …, х_n), называемых словами, где каждый из аргументов х₁, х₂, …, х_n заменяется буквами k-ичного алфавита (0,1, ..., (k-1)). Количество n букв в данном слове определяет его длину.

Очевидно, число всевозможных слов длины n в k-ичном алфавите равно kⁿ. Так как каждому такому слову имеется возможность представить одно из k значений множества N, то общее количество однородных функций от n переменных выражается числом .

Если буквами алфавита служат числа от 0 до (k-1), то каждое слово (х₁, х₂, …, х_n) символически представляется упорядоченной последовательностью n таких чисел и рассматривается как запись n-разрядного числа в позиционной системе счисления с основанием k, то есть



или х₁k^n-1+ х₂k^n-2+…+ х_n-1k¹+ х_nk⁰=q.

Числа q=0,1,…,kⁿ-1 служат номерами слов и тем самым на множестве всех слов вводится естественная упорядоченность. Аналогично номерами функций можно считать kⁿ разрядные числа в той же системе счисления.

Различны слова длины n в данном алфавите образуется как n-перестановки с повторениями.

Так в трехзначном алфавите (0,1,2) словами длины 4 будут всех четырехразрядные числа с основанием k=3, т.е. 0000, 0001,0002,0010, 0011, …, 2221, 2222 которые соответствуют десятичным числам от 0 до 80=2•3³+2•3²+2•3¹+2•3⁰.

Поставить каждому такому числу в соответствии одну из букв алфавита {0,1,2}, получим некоторую функцию четырех переменных

f(x₁, x₂, x₃, x₄),

причем количество таких функций выразится числом .

Наиболее простым и важнейшим классом однородных функций являются двузначные (булевы) функции (иногда ее называют переключательной). Функция f(x₁, x₂, …, x_n-1, x_n) принимает два значения 0,1 и зависит от переменных x_i{0,1}, i=.

Областью определения булевой функции служит совокупность всевозможных n-мерных наборов из 0 и 1, а для ее задания достаточно указать, какие значения функции соответствуют каждому из этих наборов, т.е. осуществить табличные значения функции.

x1, x2, …, xn-1, xn	f (x1, x2, …, xn-1, xn)
0 0 … 0 0	f (0 , 0 , …, 0 , 0)
0 0 … 0 1	f (0 , 0 , …, 0 , 1)
… … … … …	… … …… … … …
1 1 … 1 0	f (1 , 1 , …, 1 , 0)
1 1 … 1 1	f (1 , 1 , …, 1 , 1)

Каждому набору α=(α₁, …,α_n) α_i{0,1} становится в соответствии число

N=α₁2^n-1+…+ α_n-12+ α_n.

Наборам (0, 0, …, 0, 0), (0, 0, …, 0, 1), …, (1, 1, …, 1, 1) соответствуют числа 0,1, …, 2^n-1.

Легко видеть, что число n-мерных наборов из 0 и 1 равно 2ⁿ.

Если зафиксировать n переменных x₁, x₂, …, x_n , то разные функции от переменных x₁, x₂, …, x_n задаются разными таблицами. Число различных таблиц равно числу всех функций от переменных x₁, x₂, …, x_n. Число булевых функций от n переменных x₁, x₂, …, x_n равно .

Познакомимся с другими способами задания булевой функции.

Сначала познакомимся с функцией одной и двух переменных, которые иногда называют «элементарными» функциями».
ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ И ИХ ОСНОВНЫЕ СВОЙСТВА.

Рассмотрим множество векторов ={ x₁, x₂, …, x_n }, пусть координаты этих векторов принимают значения 0 или 1. Таким образом, множество Х состоит из 2ⁿ различных векторов.

Совокупность координат некоторого фиксированного вектора из множества будем называть двоичным набором или просто набором.

Сопоставим каждому вектору Х число 0 или 1, т.е. произведем однозначное отображение Х на множество Y={0,1}.
ФУНКЦИЕЙ АЛГЕБРЫ ЛОГИКИ

ФАЛ называется функция, дающая однозначное отображение Х в Y.

1. 
   Число различных ФАЛ, зависящих от n аргументов, конечно и равно .
   

x1, x2, …, xn-1, xn	f (x1, x2, …, xn-1, xn)
0 0 … 0 0	α1
0 0 … 0 1	α2
… … … … …	… … …… … … …
1 1 … 1 0
1 1 … 1 1

Если наборам значений аргументов ФАЛ сопоставляет точки n- мерного пространства, то множество наборов определяет множество вершин n- мерного единичного куба. Таким образом, областью определения ФАЛ, зависящей от n аргументов, является множество вершин такого куба.

Пример.

ФАЛ f(x₁, x_2, x₃) может быть задана геометрически . f(101, 110, 010, 011)=1




Значения ФАЛ могут быть заданы не на всех возможных наборах аргументов. На некоторых значения функции могут быть не определены. Такие функции называют не полностью определенными.

2. 
   Если две ФАЛ f₁(x₁, x₂, …, x_n-1, x_n) и f₂(x₁, x₂, …, x_n-1, x_n) принимают на всех возможных наборах значений аргументов одинаковые значения, то функции f₁ и f₂ называются равными.
   
3. 
   ФАЛ f(x₁, x₂, …, x_i, x_i+1, …, x_n-1, x_n) существенно зависит от аргумента x_i, если имеет место соотношение
   

f(x₁, x₂, …, x_i-1,0 , x_i+1, …, x_n-1, x_n) f(x₁, x₂, …, x_i-1,1 , x_i+1, …, x_n-1, x_n)

в противном случае говорят, что от x_i функция зависит не существенно и x_i является ее фиктивным аргументом. ФАЛ не изменяется, если к ее аргументам дописать любое число фиктивных аргументов или зачеркнуть те аргументы, которые являются фиктивными.

Как найти несущественные аргументы? Для этого, если ФАЛ задана таблично, поступают следующим образом.

Разбивают множество наборов аргументов функции на два подмножества:

• 
  подмножество, на котором заданная функция принимает значение 1;
  
• 
  подмножество, на котором заданная функция принимает 0.
  

Для проверки фиктивности аргумента x_i вычеркивают столбец, ему соответствующий, и проверяют, не появились ли в обоих подмножествах одинаковые наборы. Если таких наборов не появилось, то x_i является фиктивным аргументом.

Пример:

Таблица

x1 x2 x3 x4	f (x1, x2, x3, x4)
0 0 0 0	0
0 0 0 1	0
0 0 1 0	0
0 0 1 1	0
0 1 0 0	1
0 1 0 1	1
0 1 1 0	0
0 1 1 1	0
1 0 0 0	0
1 0 0 1	0
1 0 1 0	0
1 0 1 1	0
1 1 0 0	1
1 1 0 1	1
1 1 1 0	1
1 1 1 1	1

Произведем разбиение набора аргументов:

x₁ x₂ x₃ x₄

0 0 0 0

0 0 0 1 x₁ x₂ x₃ x₄

0 0 1 0 0 1 0 0

0 0 1 1 наборы х 0 1 0 1

0 1 1 0 на которых 1 1 0 0 f()=1

0 1 1 1 f()=0 1 1 0 1

1 0 0 0 1 1 1 0

1 0 0 1 1 1 1 1

1 0 1 1

Вычеркнем в наборах четвертый столбец. Оставшиеся наборы таковы, что ни один из них не входит одновременно в оба подмножества. Это свидетельствует о фиктивности аргумента x₄.
Элементарные функции алгебры логики

Рассмотрим множество элементарных ФАЛ. Начнем со случая, когда длина слова n=0. По формуле, определяющей число функций логики, вычисляем, что при n=0 = 2.

f₁=0; f₂=1.

Эти две функции совпадают с константами.

В случае n=1 мы имеем две функции, существенно зависящие от аргумента x, эти две функции определяются таблицей

x1	f 3	f 4
0	0	1
1	1	0

Эти две функции также относят к элементарным, и они записываются следующим образом

f ₃=x ; f ₄=(читается «не x»).

Функцию f ₄называют функцией отрицания.

В случае n=2 имеем десять различных функций, существенно зависящих от аргументов x₁ и x₂.

		x1x2	x1&x2	x1x2	x1x2	x1  x2	x1/x2	x1x2
x 1	x 2	f 5	f 6	f 7	f 8	f 9	f 10	f 11
0	0	0	0	1	1	1	1	1
0	1	1	0	0	1	0	1	0
1	0	1	0	0	0	0	1	1
1	1	1	1	1	1	0	0	0

Функция f₅(x_1,x₂) =x_1x₂ (дизъюнкция).

Функция f₆(x_1,x₂) =x₁&x₂ (конъюнкция).

Вместо символов & часто применяют символ умножения «•» или вообще опускают также, как и в обычной алгебре.

Функция f₇ носит название функции эквивалентности или функции равнозначности

f₇(x_1,x₂) = x1x2

и f₇(x_1,x₂) = x₁x₂.

Функция f₈ носит название импликации x₁ в x₂. Она обозначается f₈(x_1,x₂) = x₁x₂.

Функция f₉ носит название функции Вебба (или ее называют еще стрелкой Пирса) и обозначается

f ₉(x_1,x₂) = x₁vx₂.

Функция f₉ называется функцией (штрихом) Шеффера и обозначается следующим образом f ₁₀(x_1,x₂) = x₁  x₂.

Функция f ₁₁ обычно называется функцией сложения по модулю 2.

f ₁₁(x_1,x₂) = x₁x₂.

Рассмотрение одиннадцати функций позволяют строить новые функции двумя основными способами:

1. 
   путем перенумерации аргументов;
   
2. 
   путем подстановки в функцию новых функций вместо аргументов.
   

Функцию, полученную из функций f ₁, f ₂, f ₃, …, f _kпутем применения этих правил будем называть суперпозицией функции f ₁, f ₂, f ₃, …, f _k .

Имея, например, элементарные функции отрицания, дизъюнкции, эквивалентности и импликации, можно составить следующие новые функции ФАЛ.

Используя таблицы, определяющие элементарные функции, можно задать любую функцию ФАЛ, являющуюся суперпозицией этих функций.