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

Нажмите для полного просмотра!

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Основы математической логики. Доклад-сообщение содержит 36 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Раздел 2. Основы математической логики

Слайд 2

Описание слайда:

Слайд 3

Описание слайда:

Математическая логика — современный вид формальной логики, изучающей умозаключения с позиций их формального строения путем математических операций. Первичным понятием математической логики является высказывание— имеющее смысл языковое выражение, допускающее однозначную констатацию: либо — истина, либо — ложь. Математическая логика — современный вид формальной логики, изучающей умозаключения с позиций их формального строения путем математических операций. Первичным понятием математической логики является высказывание— имеющее смысл языковое выражение, допускающее однозначную констатацию: либо — истина, либо — ложь. Примеры: Минск — столица Беларуси (истина). Заяц — хищное животное (ложь). Который час? (не высказывание). В отличие от привычной нам арифметики, в которой любое число составляется из цифр 1, 2, ..., 0, в математической логике всего два числа: «истина» и «ложь». Значение «истина» обычно обозначается цифрой «1», а «ложь» — цифрой «0». Тогда высказывания Аи В символически запишутся в виде: А= 1; В= 0.

Слайд 4

Описание слайда:

Высказывания принято обозначать латинскими буквами. Если высказывание представляет одно утверждение типа: 1 или 0, то его называют простым (или элементарным). С помощью простых высказываний можно (как и в обычных речевых конструкциях) строить более сложные — составные высказывания и различные функции от высказываний. Для таких построений используются логические операции, похожие на операции с арифметическими числами и, в большей степени, на операции с множествами. Высказывания принято обозначать латинскими буквами. Если высказывание представляет одно утверждение типа: 1 или 0, то его называют простым (или элементарным). С помощью простых высказываний можно (как и в обычных речевых конструкциях) строить более сложные — составные высказывания и различные функции от высказываний. Для таких построений используются логические операции, похожие на операции с арифметическими числами и, в большей степени, на операции с множествами. Отметим, что в математической логике все высказывания рассматриваются только как однозначные логические значения, без их житейского содержания и контекста. Не являются высказываниями утверждения, которые допускают неоднозначную трактовку (типа: «Сегодня хорошая погода»).

Слайд 5

Описание слайда:

Операции над высказываниями Логической операцией над высказываниями(или отдельным высказыванием) называется построение нового высказывания из исходных высказываний. Знаки логических операций' называются логическими связками (или просто связками). Они могут быть одноместными (или унарными) — применяются к одному высказыванию, двуместными (или бинарными) — для двух высказываний, трехместными и т. д. Рассмотрим наиболее распространенные операции.

Слайд 6

Описание слайда:

Отрицание (негация) Отрицанием (негацией) высказывания х называется новое высказывание х , которое является истиной, если х=0, и ложью, если х=1. Запись:х = х (читается: «не х»). Ясно, что «» — унарная связка, так как применяется только к одному утверждению. Таким образом, возможны следующие варианты: а) х=1, :х = х=0; б) х=0, :х = х=1. Эти два варианта полностью определяют свойства операции «». Принято описывать свойства операций с помощью таблицы: Такие таблицы называются таблицами истинности. Связка  может использоваться и несколько раз. К примеру: х = 1; х = 0; х = ,(х) = (0) = 1;х=0 и т. д.

Слайд 7

Описание слайда:

Конъюнкция (логическое умножение) Конъюнкцией (логическим умножением)двух высказываний х и у называется новое высказывание z, которое является истиной только при истинности обоих высказываний х и у, и ложью, если хотя бы одно из высказываний х или у ложно. Запись: z = ху (иногда встречаются х&у и х у), читается «х и у». Связка «» — бинарная, связывает два высказывания. Таблица истинности имеет вид: Таким образом, конъюнкция двух высказываний позволяет получить новое высказывание с точным значением истины или лжи.

Слайд 8

Описание слайда:

Например: х = «6 делится на 2» = 1; Например: х = «6 делится на 2» = 1; у = «6 делится на 3» = 1. Тогда z1= ху = «6 делится на 2 и на 3» = 1. Другой пример: х = «Минск — столица Беларуси» = 1; у = «Минск расположен в Азии» = 0. Тогда z2= ху == «Минск — столица Беларуси и расположен в Азии» = 0. Возможно и комбинирование связок. Так z1 = (ху)= (1) = 0 или Z2= (ху)= (0) = 1.

Слайд 9

Описание слайда:

Дизъюнкция (логическое сложение) Дизъюнкцией (логическим сложением) двух высказываний х и у называется новое высказывание z, которое является истиной, если хотя бы одно из высказываний х или у истинно, и ложью, только в случае ложности как х, так и у. Запись: z= хvу (иногда х + у) читается «х или у». Связка  бинарная. Таблица истинности: ПРИМЕР: х = «6  3= 18» = 1; у = «18 - трехзначное число» = 0. Тогда z = ху = «6 х 3= 18 или 18 - трехзначно» = 1, так как одно из утверждений — истинно.

Слайд 10

Описание слайда:

Импликация Импликацией двух высказываний х и у называется новое высказывание z, которое будет ложным только в случае, когда х — истинно, а у — ложно, и истинным во всех остальных случаях. Запись: z= х  у (встречаются обозначения х => у, х у). Чтение: «если х, то у» или «из х следует у», или «х влечет у». В этом высказывании х часто называется условием или посылкой, а у - следствием или заключением. Таблица истинности: ПРИМЕР: х =«6  3 = 18» = 1;у= «18: 6 = 7» = 0. Тогда z= х у = «Если 6  3 = 18, то 18 : 6 = 7» = 0.

Слайд 11

Описание слайда:

Эквиваленция Эквиваленцией двух высказываний х и у называется новое высказывание z, которое будет истинным, только когда оба высказывания х и у одновременно истинны или одновременно ложны, и ложным в остальных случаях. Запись: z= х↔у (встречаются обозначения х~ у, х у).Чтение: «х эквивалентно у» или «х тогда и только тогда, когда у», или «для того, чтобы х, необходимо и достаточно, чтобы у».Таблица истинности: Например, пусть х = «2 > 3» = 0; у = «6 : 2 =3» = 1. Тогда z= х ↔у = «2 > 3 тогда и только тогда, когда 6 : 2 = 3» = 0.

Слайд 12

Описание слайда:

Исключающее «или» (неравнозначность) Исключающее «или» (неравнозначность) Неравнозначностью двух высказываний A и B называется высказывание, истинное, когда истинностные значения A и B не совпадают, и ложное — в противном случае. Обозначается: A⊕B. Читается: «либо A, либо B» (понимается — в разделительном смысле). Таблица истинности для неравнозначности имеет вид:

Слайд 13

Описание слайда:

Формулы алгебры логики

Слайд 14

Описание слайда:

С помощью логических операций над высказываниями можно строить различные сложные высказывания. Порядок выполнения операций регулируется: 1) скобками; 2) соглашением о старшинстве операций: ; ; ; ; ↔(в порядке убывания). С помощью логических операций над высказываниями можно строить различные сложные высказывания. Порядок выполнения операций регулируется: 1) скобками; 2) соглашением о старшинстве операций: ; ; ; ; ↔(в порядке убывания). Неделимое высказывание называется элементарным. Всякое высказывание, которое может быть получено из элементарных высказываний путем применения конечного числа логических операций, называется формулой алгебры логики. ПРИМЕРЫ: p = (xy)z;q = x(y(xz)) или q=x(y(xz)). С учетом соглашения о старшинстве эти формулы могут быть записаны и в виде: р = хyz; q=xyxz. Логическое значение формулы определяется заданными логическими значениями входящих в нее элементарных высказываний. Пусть, к примеру, х=1,у =1,z=0. Определим значение формулы Р= хуz. Последовательно: Р хуz =(хy)z=(1)vz = 0 v 0 = 0.

Слайд 15

Описание слайда:

Если же ставится задача определить все возможные значения формулы в зависимости от всех возможных значений входящих в нее элементарных высказываний, то она может быть решена путем перебoра с помощью построения таблицы истинности. Если же ставится задача определить все возможные значения формулы в зависимости от всех возможных значений входящих в нее элементарных высказываний, то она может быть решена путем перебoра с помощью построения таблицы истинности. Например, для формулы z = xуxу такой перебор имеет вид:

Слайд 16

Описание слайда:

Число значений формулы определяется числом n элементарных высказываний и равно 2n (это же и число строк таблицы). Так, в нашем примере всего два элементарных высказывания х и у, т. е. п = 2 и число значений для z равно 22 = 4 (четыре строки таблицы). Число значений формулы определяется числом n элементарных высказываний и равно 2n (это же и число строк таблицы). Так, в нашем примере всего два элементарных высказывания х и у, т. е. п = 2 и число значений для z равно 22 = 4 (четыре строки таблицы). Отметим также, что составные части формулы, которые являются элементарными выражениями, уже не будут жестко заданными, а зависят от конкретных логических значений, определяемых извне, т. е. элементарные выражения в формуле — переменные.

Слайд 17

Описание слайда:

Равносильные формулы Две формулы алгебры логики А и В называются равносильными, если они принимают одинаковые логические значения при любом наборе значений элементарных высказываний, входящих в формулы. Обозначение: А=В (можноА↔В). Чтение: «А равносильно В». ПРИМЕРЫ: х = х ; х = хх; х  0 = 0; xvх =1 и т. д. Легко видеть, что еслиА = В, то и А =В.

Слайд 18

Описание слайда:

Тождественно истинная (тавтология) Тождественно истинная (тавтология) Формулу А назовем тождественно истинной (или тавтологией), если она принимает значение 1 при всех значениях входящих в нее переменных. ПРИМЕРЫ тавтологий: x x и х(ух). В этом легко убедиться, составив таблицы истинности: Тождественно ложная (противоречие) ФормулуА назовем тождественно ложной, если она принимает значение 0 при всех значениях входящих в нее переменных. ПРИМЕР: х х , которая всегда ложна.

Слайд 19

Описание слайда:

Свойства алгебры логики

Слайд 20

Описание слайда:

Из определений равносильных формул следует, что отношение равносильности обладает свойствами: Из определений равносильных формул следует, что отношение равносильности обладает свойствами: А = А (рефлексивно). Если А = В, то В = А (симметрично). Если А = В и В = С, то А = С (транзитивно).

Слайд 21

Описание слайда:

Приведем три важнейшие группы равносильностей алгебры логики: Приведем три важнейшие группы равносильностей алгебры логики: Основные равносильности хх=х; хx=х — идемпотентность; х1=х; х1=1; х0=0; х0=х; х(ух)=х; х(ух)=х—законы поглощения; х x= 0 — закон противоречия; х x = 1 — закон исключенного третьего; x = х — закон отрицания противоречия.

Слайд 22

Описание слайда:

Любая из этих и последующих равносильностей доказывается составлением таблицы истинности. ' • Любая из этих и последующих равносильностей доказывается составлением таблицы истинности. ' • Равносильности преобразований х ↔ у = (ху)(ух) — закон контрапозиции; ху = ху; х у = x у; ху = x у— законы де Моргана; х  у = xy=;— следствия законов де Моргана; (х  у)(х у) = х; (хvу)  (хv‾у) = х — формулы расщепления. x⊕y =х уxу. х=1⊕x. xy = x⊕y⊕xy.

Слайд 23

Описание слайда:

Равносильности алгебры логики Равносильности алгебры логики xy=yx;xvy = yvx— коммутативность; х (уz) = (ху)z; х v(у z) = (хvу)vz— ассоциативность; х (уvz)= (х у)v(хz); хv(у z)= (хvу) (х vz) — дистрибутивность. С помощью приведенных здесь равносильностей можно упрощать логические выражения, т. е. уменьшать количество формул и операций. При этом следует стремиться к замене связок ↔и  на  и . Отрицание же () относится к элементарным операциям.

Слайд 24

Описание слайда:

Контактные схемы Рассмотрим практическое применение булевой алгебры в электротехнике. К.С. – это устройства релейно-контактного действия, которые широко используются в ЭВМ. К.С. состоит из переключателей, соединяющих проводов и полюсов. Каждый переключатель может находиться в одном из двух состояний (замкнутом – 1 и разомкнутом – 0), т.е. переключатель представляет собой булеву функцию. Если значение этой функции =1 (переключатель замкнут), ток проходит через переключатель. При нулевом значении булевой функции ток через переключатель не проходит (переключатель разомкнут). Булевой функции f(x)=x соответствует контактная схема --- х --- С помощью контактной схемы ---х --- получают отрицание х. Конъюнкция ху реализуется контактной схемой ─х─у─.

Слайд 25

Описание слайда:

Способы задания булевых функций Таблицей истинности Аналитические формы задания булевой функции в виде формулы Из табличной формы задания б.ф. набор значений переменных рассматривается как число, записанное в п-разрядном двоичном коде, где п – число переменных. Например, для б.ф. 3 переменных будем иметь номера 0,1,2,3,4,5,6,7. Поэтому б.ф. можно задать, указав номера наборов, на которых она =1. Также происходит из табличной формы. Б.ф. задается в векторной форме, компоненты вектора равны 0 и 1. В этом векторе i-тая компонента равна 1, если б.ф. на i–том наборе =1. Аналогично, в векторе i-тая компонента равна 0, если б.ф. на i–том наборе =0. Представление Булевой функции в виде КНФ

Слайд 26

Описание слайда:

Функциональная полнота Теорема 1. Всякая логическая функция может быть представлена булевой формулой, т.е. как суперпозиция дизъюнкций, конъюнкций и отрицания. Из этого следует, что система булевых функций(операций) ={&, , } функционально полна. Наряду с определением свойств функций набора для доказательства его функциональной полноты достаточно показать, что через функции набора можно выразить дизьюнкцию, конъюнкцию и отрицание. Справедливо и более общее утверждение Алгебра(Р2, &, , ), основным множеством которой является множество всех логических функций Р2, а операциями – конъюнкция, дизъюнкция и отрицание, называется булевой алгеброй логических функций. Операции и формулы булевой алгебры часто называют булевыми. Система операций булевой алгебры {&, , } функционально полна. Это означает, что переход задания любой логической функции к формуле булевой алгебры, или булевой формуле, всегда возможен.

Слайд 27

Описание слайда:

Способ перехода от табличного задания логической функции к булевой формуле: для каждого набора значений переменных х1,…, хn, на котором функция (x1,… , xn) равна 1, выписываются конъюнкции всех переменных: над теми переменными, которые на этом наборе равны 0, ставятся отрицания; все такие конъюнкции соединяются знаками дизъюнкции. Полученная таким образом формула называется совершенной дизъюнктивной нормальной формой (СДНФ) логической функции (x1,… , xn).

Слайд 28

Описание слайда:

Для каждой функции СДНФ единственна (с точностью до перестановок переменных или конъюнкций). Например, для функции, заданной таблице., СДНФ имеет вид (для удобства ее восприятия используем в формуле другой, более употребимый в алгебре логики символ конъюнкции): Для каждой функции СДНФ единственна (с точностью до перестановок переменных или конъюнкций). Например, для функции, заданной таблице., СДНФ имеет вид (для удобства ее восприятия используем в формуле другой, более употребимый в алгебре логики символ конъюнкции): x1 x2  x3  x1 x2 x3  x1  x2  x3

Слайд 29

Описание слайда:

Пример 1. В алгебре (Р2; &, , 1), называемой алгеброй Жегалкина, ее сигнатура  = {&, , 1} является функционально полной системой. Это означает, что любая логическая функция может быть представлена формулой над , т.е. формулой, содержащей только символы переменных, скобки и символы операций из {&, , 1}. Пример 1. В алгебре (Р2; &, , 1), называемой алгеброй Жегалкина, ее сигнатура  = {&, , 1} является функционально полной системой. Это означает, что любая логическая функция может быть представлена формулой над , т.е. формулой, содержащей только символы переменных, скобки и символы операций из {&, , 1}. Опираясь на теоремы 1 и 2, пояснить, почему для доказательства функциональной полноты {&, Ф, 1} достаточно подтверждения : а)x х =х 1, б) x1 X, V Х2 = x1 х2  х1  х2. Убедиться в справедливости указанных соотношений стандартным методом доказательства эквивалентности формул.

Слайд 30

Описание слайда:

Построенные таблицы истинности левых и правых частей соотношений и подтверждают справедливость последних. Построенные таблицы истинности левых и правых частей соотношений и подтверждают справедливость последних.

Слайд 31

Описание слайда:

Приведение к дизъюнктивной нормальной форме(ДНФ) Все отрицания донести до переменных с помощью законов де Моргана и отрицания Раскрыть скобки с помощью ассоциативного, коммутативного и дистрибутивного законов Удалить лишние конъюнкции и повторения переменных в конъюнкциях Удалить константы.

Слайд 32

Описание слайда:

Пример 1. Доказать справедливость обобщенного склеивания методом эквивалентных преобразований (используя основные эквивалентные соотношения). Пример 1. Доказать справедливость обобщенного склеивания методом эквивалентных преобразований (используя основные эквивалентные соотношения). Выполним эквивалентные преобразования, указывая под знаком равенства номер используемого соотношения: xzyz  xy = xz  yz  xy1= xz  yz  xy(zz) = xz  yz  xyz  xyz = xz  yz Приводим справедливость использованного выше соотношения x  xy = x1  xy = (1y) = x приведение к конъюнктивной нормальной форме(КНФ). КНФ называется конъюнкция элементарных дизъюнкций. Пример КНФ (xy)(xz) (xyz)

Слайд 33

Описание слайда:

Пример. Пусть ДНФ F имеет вид F=k1 k2… km, где k1, k2,..., km–элементарные конъюнкции. Пример. Пусть ДНФ F имеет вид F=k1 k2… km, где k1, k2,..., km–элементарные конъюнкции. Процедура приведения ДНФ и КНФ: F=k1 k2  …  km и привести k1 k2  …  km к ДНФ k1’ k2’  …  kр’, где k1’, k2’,…,kp–элементарные конъюнкции. Тогда F=k1’ k2’… km= k1 k2… km = k1’ k2’  …  kр’ C помощью правил де Моргана освободиться от второго отрицания и преобразовать отрицания элементарных конъюнкций в элементарные дизъюнкции D1, D2,…, Dp. Тогда F= k1’ k2’  …  kр’ = k1’  k2’… kp’= D1, D2,…, Dp .

Слайд 34

Описание слайда:

Двойственность булевой функции Функция F*(x, …, xn) называется двойственной к функции F(x, …, xn), если F*(x, …, xn)= F( x, …, xn). Отношение двойственности между функциями симметричны т.е. если F* двойственна к F, то F двойственна к F*. F(x1,…,xn)=F*(x1,…,xm)= F(x1,…,xn) Функция двойственная к самой себе, называется самодвойственной Пример самодвойственной функции. F=-x; =xyxzyz Множество всех булевых функций обозначается Р2 . | Р2|=22n.

Слайд 35

Описание слайда:

Принцип двойственности Принцип двойственности в булевой алгебре: если в формуле конъюнкции заменить на дизъюнкции , дизъюнкции на конъюнкции, 1 на 0, 0 на 1, то получим формулу F*, представляющую функцию F*, двойственную F. Справедливо утверждение: если функции равны, т.е. F1=F2, то и двойственные функции равны, т.е. F1* = F2*. Совершенной конъюнктивной нормальной формой (СКНФ) называется КНФ, каждая элементарная дизъюнкция которой содержит все переменные.

Слайд 36

Описание слайда:

Понятие предиката Сказуемое в высказывании называется предикатом. Высказывание состоит из подлежащего и сказуемого. Например, пусть предикат P(x) означает, что «x есть чётное число». Тогда запись A={x|P(x)} читается, что множество А состоит из элементов х таких, что х–четное число; или х есть Р(х). Можно определить двухместный и многоместный предикаты. С помощью логических связок, определенных для высказываний, можно образовывать сложные предикаты. Например, предикат будет означать, что х – нечетное число. Кроме логических связок в исчислении предикатов используют кванторы общности и существования. Операция ¬ преобразует кванторы друг в друга. и .