Логика высказываний
Высказывания и операции
"Если число рационально, то
—
алгебраическое число. Но оно не алгебраическое. Значит,
не рационально."
Мы не обязаны знать, что такое число
, какие числа называют
рациональными и какие алгебраическими, чтобы признать, что это
рассуждение правильно — в том смысле, что из двух
сформулированных посылок действительно вытекает заключение.
Такого рода ситуации — когда некоторое утверждение верно
независимо от смысла входящих в него высказываний — составляют
предмет логики высказываний.
Такое начало (особенно если учесть, что курс логики входил в программу философского факультета, где также изучалась "диалектическая логика") настораживает, но на самом деле наши рассмотрения будут иметь вполне точный математический характер, хотя мы начнем с неформальных мотивировок.
Высказывания могут быть истинными и ложными. Например, " —
простое число "— истинное высказывание, а "
— простое число"—
ложное (это число делится на
). Про высказывание "
существует бесконечно много простых
, для которых
— также простое "никто не берется сказать наверняка, истинно
оно или ложно. Заметим, что "
делится на
" в
этом смысле не является высказыванием, пока не сказано, чему
равно
; при разных
получаются разные
высказывания, одни истинные (при четном
), другие— ложные (при
нечетном
).
Высказывания можно соединять друг с другом с помощью "
логических связок". Эти связки имеют довольно странные, но
традиционные названия и обозначения (табл. 1.1).
Отметим также, что в импликации высказывание
называют посылкой, или антецедентом импликации,
а
— заключением, или консеквентом.
связка | обозначение | название |
---|---|---|
![]() ![]() |
|
конъюнкция |
![]() ![]() |
|
дизъюнкция |
не
|
not |
отрицание |
из если
|
|
следование |
Говорят также, что высказывание имеет истинностное значение И (истина), если оно истинно, или Л (ложь),
если оно ложно. Иногда вместо И употребляется буква T
(true) или число , а вместо Л — буква F
(false) или число
. (С первого взгляда идея произвольным
образом выбрать числа
и
кажется дикой —
какая бы польза могла быть от, скажем, сложения истинностных значений?
Удивительным образом в последние годы обнаружилось, что такая польза есть,
и если оперировать с истиной и ложью как элементами конечного поля, можно получить
много неожиданных результатов. Но это выходит за рамки нашей книги.)
Логические связки позволяют составлять сложные высказывания из простых. При этом истинность составного высказывания определяется истинностью его частей в соответствии с таблицей 1.2.
Те же правила можно изложить словесно. Высказывание
истинно, если оба высказывания
и
истинны.
Высказывание
истинно, если хотя бы одно из высказываний
и
истинно. Высказывание
ложно
в единственном случае: если
истинно, а
ложно.
Наконец,
истинно в том и только том случае, когда
ложно.
Из всех связок больше всего вопросов вызывает импликация. В
самом деле, не очень понятно, почему надо считать, скажем,
высказывания "если , то
"и "если
, то
"
истинными. (Именно так говорят наши таблицы:
.)
Следующий пример показывает, что в таком определении есть смысл.
Общепризнано, что если число делится на
, то
оно делится на
. Это означает, что высказывание
![\text{(x делится на 4)}\ \to \ \text{(x делится на 2)}](/sites/default/files/tex_cache/1fa1eee090b0b24782205a34212c9fd9.png)
![x](/sites/default/files/tex_cache/9dd4e461268c8034f5c8564e155c67a6.png)
![x=5](/sites/default/files/tex_cache/9d34cdbb94fcc091b5b16cb7faeac526.png)
![x=6](/sites/default/files/tex_cache/6d17d6d9c69d0f6a426edc37ed1b84ec.png)
![x=8](/sites/default/files/tex_cache/115f56d072ef0db3cfb4fddc6f534e13.png)
![x](/sites/default/files/tex_cache/9dd4e461268c8034f5c8564e155c67a6.png)
![2](/sites/default/files/tex_cache/c81e728d9d4c2f636f067f89cc14862c.png)
![x](/sites/default/files/tex_cache/9dd4e461268c8034f5c8564e155c67a6.png)
![4](/sites/default/files/tex_cache/a87ff679a2f3e71d9181a67b7542122c.png)
![2](/sites/default/files/tex_cache/c81e728d9d4c2f636f067f89cc14862c.png)
Теперь от неформальных разговоров перейдем к определениям. Элементарные высказывания (из которых составляются более сложные) мы будем обозначать маленькими латинскими буквами и называть пропозициональными переменными. Из них строятся пропозициональные формулы по таким правилам:
- Всякая пропозициональная переменная есть формула.
- Если
— пропозициональная формула, то
— пропозициональная формула.
- Если
и
— пропозициональные формулы, то
,
и
— пропозициональные формулы.
Можно еще сказать так: формулы образуют минимальное множество, обладающее указанными свойствами (слово "минимальное" здесь существенно: ведь если бы мы объявили любую последовательность переменных, скобок и связок формулой, то эти три свойства были бы тоже выполнены).
Пусть формула содержит
пропозициональных
переменных
. Если подставить вместо этих
переменных истинностные значения ( И или Л ), то по таблицам
можно вычислить истинностное значение формулы в целом. Таким
образом, формула задает некоторую функцию от
аргументов,
каждый из которых может принимать значения Л и И. Значения
функции также лежат в множестве
, которое мы будем
обозначать
. Мы будем следовать уже упоминавшейся
традиции и отождествлять И с единицей, а Л — с нулем, тем
самым
есть
. Формула
задает отображение типа
. Такие отображения называют
также булевыми функциями
аргументов.