Кабардино-Балкарский государственный университет
Опубликован: 09.11.2006 | Доступ: свободный | Студентов: 24339 / 8977 | Оценка: 4.16 / 3.97 | Длительность: 10:45:00
ISBN: 978-5-94774-678-5
Специальности: Программист
Лекция 5:

Высказывания и предикаты

< Лекция 4 || Лекция 5: 123 || Лекция 6 >
Аннотация: Рассматриваются основные понятия и сведения алгебры высказываний и предикатов – высказывания, предикаты, аксиомы, логические выражения и функции, эквивалентные выражения и приведение к эквивалентному выражению, другие сопутствующие понятия и факты логики, а также инфологические задачи.

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

Алгеброй A называется некоторая совокупность определенных элементов X, с заданными над ними определенными операциями f (часто определяемые по сходству с операциями сложения и умножения чисел), которые удовлетворяют определенным свойствам – аксиомам алгебры.

Операция f называется n-местной, если она связывает n операндов (объектов – участников этой операции).

Совокупность операций алгебры A называется ее сигнатурой, а совокупность элементов алгебрыносителем алгебры.

Утверждение ( высказывательная форма ) – основная единица, неделимая с точки зрения отражения смысла информации (семантики).

Высказывание – некоторое повествовательное утверждение, про которое можно однозначно сказать ("сразу посмотрев на него"), истинно оно или ложно. Эти два значения всевозможных высказываний обозначаются "истина" и "ложь", "true" и "fаlse" или "1" и "0".

Переменная, значениями которой могут быть лишь значения "1" или "0", называется логической переменной или булевой переменной.

Пример. Рассмотрим словосочетания:

  1. Москва – столица США.
  2. Житель города Москва.
  3. 5 – 7 + 8.
  4. 5 – 9 + 28 = 4.
  5. В пятую неделю зимы было очень холодно.
  6. В Антарктиде живут тигры.

Высказывание должно быть однозначно истинным или однозначно ложным, поэтому высказываниями являются только утверждения 1), 4), 6).

Пример. Не является высказыванием и "парадокс лжеца" (Эвбулид, учитель Демосфена, около 350 лет до н.э.): "То, что я сейчас утверждаю, – ложно", ибо если оно истинно – то оно ложно, а если допустить, что оно ложно, то оно истинно. Это неопределенная высказывательная форма. Аналогичный пример принадлежит известному математику, логику Гёделю (1931 г.): "То, что утверждается в этом предложении, не может быть доказано". Если его можно опровергнуть, то его нельзя доказать, а если его нельзя опровергнуть, то его можно доказать. Предложения такого рода не могут быть доказаны или опровергнуты в пределах того языка (той теории, алгебры ), с помощью которой они сформулированы. Известны многие подобные парадоксы.

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

Пример. Построим из ниже заданных простых высказываний составные, сложные высказывания, принимающие значение "истина", "ложь":

  1. "Зима – холодное время года".
  2. "Пальто – теплая одежда".
  3. "Камин – источник тепла".

Истинным будет, например, сложное высказывание: "Зима – холодное время года и зимой носят пальто", а ложным будет, например, высказывание: "Некоторые ходят в пальто, поэтому на улице зима". Придумайте другие примеры.

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

Простые высказывания или предикаты не зависят от других высказываний или предикатов ("не разбиваемы на более простые"), а сложные – зависят хотя бы от двух простых.

Пример. Выражение "х = у" – предикат, "х > 5" – предикат, а "7 > 5" – высказывание. Утверждение "Хорошо" не является высказыванием, утверждение "Оценка студента А по информатике – хорошая" – простое высказывание, утверждение "Вчера была ясная погода, я был вчера на рыбалке" – сложное высказывание, состоящее из двух простых.

Логической (булевой) функцией f(х) называется некоторая функциональная зависимость, в которой аргумент х – логическая переменная с заданным множеством изменений аргумента, а значения функции f(x) берутся из двухэлементного множества R(f) = {1,0}.

Пример. Заданы предикаты вида р = "число х делится нацело на 3" и q = "у – день недели". Найдем множество истинности предикатов р и q, если х \in \{1, 4, 6, 16, 20, 24\}, у \in \{первый, вторник, среда, 1999, зима, выходной, праздник, воскресенье\}. Получаем, что D(р)={6, 24}, D(q) = {вторник, среда, воскресенье}.

Множество логических переменных х,y \in Х с определенными над ним операциями: \overline{x}отрицания или инверсии, x \lor yлогического сложения или дизъюнкции, x \land yлогического умножения или конъюнкции называется алгеброй предикатоввысказываний ) , если эти операции удовлетворяют следующим аксиомам:

  1. Аксиома двойного отрицания:

    \overline{\overline{x}}=x
  2. Аксиомы переместительности операндов (относительно операций дизъюнкции и конъюнкции ):

    x \land y = y\land x, x \lor y = y \lor x
  3. Аксиомы переместительности операций дизъюнкции и конъюнкции (относительно операндов):

    (x \land y) \land z = x \land (y \land z), 
(x \lor y) \lor z = x \lor (y \lor z)
  4. Аксиомы одинаковых операндов:

    x\land x = x, x \lor x = x
  5. Аксиомы поглощения (множителем — множителя-суммы или слагаемым — слагаемого-произведения):

    x \land (x \lor y) = x, x \lor (x \land y) = x
  6. Аксиомы распределения операции ( дизъюнкции относительно конъюнкции и наоборот):

    x \land (y \lor z) = (x \land y) \lor (x \land z), x \lor (y \land z) = (x \lor y) \land (x \lor z)
  7. Аксиомы де Моргана (перенесения бинарной операции на операнды):

    \overline{x\land y} = \overline{x}\lor\overline{y}, \overline{x\lor y}=\overline{x}\land\overline{y}
  8. Аксиомы нейтральности (взаимноинверсных множителей или слагаемых):

    x\land(y\lor\overline{y})=x, x\lor(y\land\overline{y})=x
  9. Аксиома существования единицы ( истина, true, 1) и нуля ( ложь, false, 0), причем,

    \overline{0}=1, \overline{1}=0, \overline{x}\lor x=1, \overline{x}\land x = 0

Из этих аксиом следует ряд полезных соотношений, например,

x\land1=x,\\x\lor0=x,\\x\lor1=1,\\x\land0=0,\\ \overline{x}\lor x=1,\\ \overline{x}\land x=0
< Лекция 4 || Лекция 5: 123 || Лекция 6 >
Ирина Рыбакова
Ирина Рыбакова

Здравствуйте,ясдавала 15 тестов и экзамен. Мне нужно сейчас посмотреть результаты тестов.Как это сдлеать?

Анастасия Тимофеева
Анастасия Тимофеева