НОУ ИНТУИТ | Языки и исчисления. Лекция 1: Логика высказываний

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

Опубликован: 24.04.2007 | Доступ: платный | Студентов: 20 / 1 | Оценка: 4.60 / 4.30 | Длительность: 25:56:00

Тема: Алгоритмы и дискретные структуры

Специальности: Программист

|

Вам нравится? Нравится 11 студентам

| Поделиться |

Поддержать курс

| Скачать электронную книгу

Аннотация: Рассматриваются основные понятия алгебры логики (аксиомы, формулы, эквивалентность, вывод, разбор формул, полнота связок и другие)

Ключевые слова: простое число, высказывание, импликация, истинностное значение, истина, ложь, true, false, ПО, слово, отображение, тавтология, логический, переменная, список переменных, коммутативность, ассоциативность, переменная истинности, дистрибутивность, эквивалентность, Законы де Моргана, конъюнкция, дизъюнкция, законы поглощения, гипотеза, определение, пробел, место, значение формулы, операции, значение, синтаксический разбор, доказательство, очередь, алгоритм, запись, функция, дизъюнктивная нормальная форма, отрицание, длина, конъюнктивная нормальная форма, логическая схема, сложение, умножение, поле вычетов, многочлен, разность, произвольное, поле, полином, Произведение, подмножество, коэффициенты, базис, композиция функций, константы

Высказывания и операции

"Если число $\pi$ рационально, то $\pi$ — алгебраическое число. Но оно не алгебраическое. Значит, $\pi$ не рационально." Мы не обязаны знать, что такое число $\pi$ , какие числа называют рациональными и какие алгебраическими, чтобы признать, что это рассуждение правильно — в том смысле, что из двух сформулированных посылок действительно вытекает заключение. Такого рода ситуации — когда некоторое утверждение верно независимо от смысла входящих в него высказываний — составляют предмет логики высказываний.

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

Высказывания могут быть истинными и ложными. Например, " $2^{16}+1$ — простое число "— истинное высказывание, а " $2^{32}+1$ — простое число"— ложное (это число делится на 641 ). Про высказывание " существует бесконечно много простых , для которых p+2 — также простое "никто не берется сказать наверняка, истинно оно или ложно. Заметим, что " делится на " в этом смысле не является высказыванием, пока не сказано, чему равно ; при разных получаются разные высказывания, одни истинные (при четном ), другие— ложные (при нечетном ).

Высказывания можно соединять друг с другом с помощью " логических связок". Эти связки имеют довольно странные, но традиционные названия и обозначения (табл. 1.1). Отметим также, что в импликации $A\Rightarrow B$ высказывание называют посылкой, или антецедентом импликации, а — заключением, или консеквентом.

Таблица 1.1. Логические связки, обозначения и названия.
связка	обозначение	название
и	& $A\land B$ and	конъюнкция
или	$A\lor B$ or	дизъюнкция
не неверно	$\lnot A$ $\sim\!A$ $\overline{A}$ not	отрицание
из следует если , то влечет — следствие	$A\rightarrow B$ $A\Rightarrow B$ $A\supset B$ then	импликация следование

Говорят также, что высказывание имеет истинностное значение И (истина), если оно истинно, или Л (ложь), если оно ложно. Иногда вместо И употребляется буква T (true) или число , а вместо Л — буква F (false) или число . (С первого взгляда идея произвольным образом выбрать числа и кажется дикой — какая бы польза могла быть от, скажем, сложения истинностных значений? Удивительным образом в последние годы обнаружилось, что такая польза есть, и если оперировать с истиной и ложью как элементами конечного поля, можно получить много неожиданных результатов. Но это выходит за рамки нашей книги.)

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

Таблица 1.2. Таблицы истинности для логических связок.
		$A\land B$	$A\lor B$	$A \to B$
Л	Л	Л	Л	И
Л	И	Л	И	И
И	Л	Л	И	Л
И	И	И	И	И

	$\lnot A$
Л	И
И	Л

Те же правила можно изложить словесно. Высказывание $A\land B$ истинно, если оба высказывания и истинны. Высказывание $A\lor B$ истинно, если хотя бы одно из высказываний и истинно. Высказывание $A\to B$ ложно в единственном случае: если истинно, а ложно. Наконец, $\lnot A$ истинно в том и только том случае, когда ложно.

Из всех связок больше всего вопросов вызывает импликация. В самом деле, не очень понятно, почему надо считать, скажем, высказывания "если $2\times 2=5$ , то $2\times 2=4$ "и "если $2\times 2=5$ , то $3\times 3=1$ " истинными. (Именно так говорят наши таблицы: $Л \toИ\hm= Л\to Л\hm=И$ .) Следующий пример показывает, что в таком определении есть смысл.

Общепризнано, что если число делится на , то оно делится на . Это означает, что высказывание

$\text{(x делится на 4)}\ \to \ \text{(x делится на 2)}$

истинно при всех

. Подставим сюда x=5

: обе части ложны, а утверждение в целом истинно. При x=6

посылка импликации ложна, а заключение истинно, и вся импликация истинна. Наконец, при x=8

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

делится на

, то

делится на

) неверно, и число

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

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

Всякая пропозициональная переменная есть формула.
Если — пропозициональная формула, то $\lnot A$ — пропозициональная формула.
Если и — пропозициональные формулы, то $(A\land B)$ , $(A\lor B)$ и $(A\to B)$ — пропозициональные формулы.

Можно еще сказать так: формулы образуют минимальное множество, обладающее указанными свойствами (слово "минимальное" здесь существенно: ведь если бы мы объявили любую последовательность переменных, скобок и связок формулой, то эти три свойства были бы тоже выполнены).

Пусть формула $\varphi$ содержит пропозициональных переменных $p_1,p_2,\dots,p_n$ . Если подставить вместо этих переменных истинностные значения ( И или Л ), то по таблицам можно вычислить истинностное значение формулы в целом. Таким образом, формула задает некоторую функцию от аргументов, каждый из которых может принимать значения Л и И. Значения функции также лежат в множестве $\{Л, И\}$ , которое мы будем обозначать $\mathbb{B}$ . Мы будем следовать уже упоминавшейся традиции и отождествлять И с единицей, а Л — с нулем, тем самым $\mathbb{B}$ есть $\{0,1\}$ . Формула $\varphi$ задает отображение типа $\mathbb B^n\to\mathbb B$ . Такие отображения называют также булевыми функциями аргументов.

Дальше >>

Авторизоваться

Языки и исчисления

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

Высказывания и операции

Вопросы и ответы