Как устроены математические предложения!
Главная Страница Зачем и как мы доказываем в математике.
Скачать бесплатно в PDF формате «Зачем и как мы доказываем в математике. А.А. Столяр» на странице Учебники Скачать.
Текст для быстрого ознакомления. Формулы отображаются некорректно. Смотрите оригинал в формате PDF по ссылке выше.
А. Прежде всего мы должны уметь совершенно
точно отличать математические предложения от нематематических.
С. Они отличаются, во-первых, по содержанию.
В математических предложениях речь идет о математических
понятиях, в нематематических — о понятиях,
не изучаемых математикой.
А. В таком случае можно сказать, что предложение
«Прямая линия имеет вид туго натянутой нити»
является математическим (геометрическим), так как
в нем речь идет о геометрическом понятии, обозначаемом
термином «прямая линия».
С Это предложение не является математическим,
так как в нем имеется такое выражение, как
«туго натянутая нить», которое не является математическим
термином, не обозначает никакого
математического понятия.
А. Как же следует уточнить сказанное Вами,
чтобы это предложение не попадало в класс математических?
С. По-видимому, математические предложения
состоят только из выражений, обозначающих ма тематические
понятия.
А, Это уже лучше, но слишком узко, не о х в а тывает
всевозможные математические предложения.
Например, предложения «х = 0», «ху = 0»,
«ABCD — параллелограмм» являются математическими
с Вашей точки зрения, а такие предложения,
как: «Если х = 0 или у = 0, то ху = 0», или:
«Если ABCD — параллелограмм и Հ -ВАС = 90°,
то ABCD — прямоугольник», уже не являются т а ковыми,
так как они содержат и выражения «если…
то», «или», «и», не обозначающие никаких математических
понятий.
30
Я имел в виду, конечно, и такие выражения
ведь применяются в предложениях любого содержания,
математического или нематематического.
А. Это верно. Слова «не», «и», «или», «если …
то», «тогда и только тогда», «существует», «все»
и некоторые другие, называемые логическими свя з ками
(операторами), обозначают логические операции,
с помощью которых из одних предложений
образуются другие.
Как же окончательно уточнить Вашу точку зре ния
на математические предложения?
С, Это — предложения, состоящие из выражений,
обозначающих математические понятия, и из
логических связок.
А Такое описание, на первых порах, вполне
удовлетворительно. Но это, разумеется, не является
определением, так как нуждаются в уточнении
и то, что мы назвали «выражениями, обозначающими
математические понятия» и «логические с в я з ки
», и сам способ конструирования из них математических
предложений.
Выше Вы говорили «во-первых». Чем же еще
отличаются математические предложения?
С. Во-вторых, они часто записываются на специальном
языке символов.
А Именно часто, но не всегда, особенно в школьной
математике. Знакомые Вам математические
предложения записываются чаще всего на смешанном
словесно-символическом языке, а иногда, особенно
в геометрии, формулируются полностью на
словесном языке. В наших беседах мы несколько
расширим известный Вам символический язык,
в частности, введением специальных обозначений
для логических связок.
Будем считать, что теперь мы умеем отличать
математические предложения от нематематических.
С Первые не содержат других выражений,
кроме обозначающих математические понятия или
являющихся логическими связками.
А. Превосходно. Мы, таким образом, обнаружили,
что предложения могут содержать, а могут
и не содержать логические связки. Начнем с тех,
31
которые не содержат их. Из предложений, не содержащих
логических связок, образуются все новые
и новые предложения, подобно тому, как из
атомов путем их различного соединения получают
большое разнообразие молекул.
Назовите предложения без связок!
С. Например, приведенные Вами выше предложения:
«х = 0», «ху = О», «ABCD — параллелограмм
». И в предыдущей беседе мы встречались
со многими такими предложениями:
х а = Ь\ ծ + 0 = ծ; (х + у) + г = х + (у + г);
BD ± А С — АВ = ВС и др.
А, Совершенно верно.
Займемся прежде всего изучением этих и подобных
им предложений, которые мы будем называть
в дальнейшем элементарными. Имеется достаточное
основание для такого названия. Любое из этих предложений
нельзя разделить, расчленить на части так,
чтобы каждая из этих частей была также предложением.
Чтобы выявить строение элементарных предложений,
рассмотрим ряд примеров: 2 + 3 = 5 (1);
4 + 5 = 7 (2); х + 3 = 5 (3); ху = 0 (4); BD ± АС (5);
АВ = ВС (6); 3 + х = 7 (7); 3 < 7 (8); 4 > 3 + 4 (9);
а || ծ (10); а _Լ թ (11); a — b = 0 (12).
С. В Вашем перечне есть, однако, неверное р а венство
(2) и неверное неравенство (9).
А, Это так. Но о верных (истинных) и неверных
(ложных) предложениях речь пойдет дальше.
Сначала давайте выясним, как устроены эти
(и другие) элементарные предложения, отвлекаясь
пока от их истинности или ложности, от их смысла
и значения. Рассматривая записи, заметим, что
в каждой из них имеется знак какого-то отношения:
= (равно), _Լ (перпендикулярно), < (меньше),
> (больше), || (параллельно), которым связываются
два выражения.
С. А что это за выражения? Что 2 + 3, х + 3,
х • у — выражения, мне известно, а вот 5, 0, а —
разве это выражения?
А. Уточним понятие «выражение». Выражение
32
Как устроены математические предложения! 33
(числовое, алгебраическое) всегда представляет собой
образование из знаков некоторого языка (алгебры,
геометрии, анализа), построенное по четко
сформулированным правилам, составляющим определение
выражения, или терма (как это понятие
называется в научной литературе).
Естественно, чтобы сформулировать определение
терма, нужно наперед задать алфавит, т. е. совокупность
знаков (букв алфавита), из которых
строятся термы (выражения).
Например, если взять язык школьной алгебры,
то какие знаки составляют алфавит этого языка?
По-видимому, во-первых, цифры 0, 1 ,2 , 3, 4,
5, 6, 7, 8, 9 ,служащие для записи чисел; во-вторых,
латинские буквы а, Ь, с, …, х, у, z — переменные и,
в-третьих, знаки действий: — ) ֊, — ,
А. Этот перечень, однако, неполный.
С. Мы еще пользуемся знаками: = , < , > .
Совершенно верно. Но Вы забыли еще скобки:
левая — ( и правая — ), играющие роль знаков
препинания.
Заметим, что буквы латинского алфавита
а, Ь, с, …, х, у, z применяются не только в качестве
переменных, как Вы говорили, но и в качестве
постоянных.
Как Вы представляете себе различие между
этими двумя применениями букв латинского а лф а вита?
Переменные могут принимать любые значения
из некоторого заданного множества, постоянные
же имеют только одно значение.
Иначе говоря, постоянная — это имя некоторого
предмета. Например, 5 — имя определенного
числа (скажем, числа пальцев человеческой руки).
Когда речь идет о произвольном, но фиксированном
числе, то можно его обозначить и какой-нибудь
буквой, например а, или буквой с индексом: х\.
В таком случае эти буквы играют роль постоянных
(имен). Переменная же, в отличие от постоянной,
не обозначает какой-нибудь определенный предмет
(определенное число). Она играет роль «пустого
места», которое разрешается заполнять именами
3 Столяр
33
элементов некоторого множества (области значений
переменной). Например, переменная х в выражении
3 + х играет ту же роль, что и пустое место, обозначенное
тремя точками в «3 + …».
С. По существу, я это имел в виду.
А В таком случае Вы правильно понимаете р а з личие
между переменной и постоянной.
Отметим здесь, что в школьной алгебре мы пользуемся
и другими знаками, например обозначающими
операции возведения в степень или извлечения
корня. Но эти знаки, как и указанные Вами
знаки вычитания и деления, можно уже определить
с помощью других знаков из Вашего перечня.
С Например, Ъ2 = Ь • Ь, а ՜\քս = b тогда и только
тогда, когда b2 = а ; а — b = с тогда и только тогда,
когда Ь + с — а и а :Ь = с тогда и только тогда,
когда b • с = а.
А. Совершенно верно. Таким образом, алфавит
языка школьной алгебры можем ограничить названными
Вами знаками, которые по аналогии
с буквами алфавита, например русского языка, называют
буквами этого алфавита.
По определенным правилам строятся конечные
последовательности букв — слова в этом алфавите.
Мы будем различать два вида слов:
термы и формулы —
аналоги имен существительных и повествовательных
предложений.
С. Каковы же эти правила?
А. Мы их сформулируем в виде определений
термов и формул. Определение терма:
1. Постоянные и переменные — термы;
2. Если է\ и էշ — термы, то (է\) + (էշ) и (/,) • (է2) —
термы;
3. Других термов нет.
С. Будет ли согласно этому определению, например,
выражение (а -+- 2) • 3 + b ■ с термом?
А. Дав айте проанализируем, как составлено это
слово:
1. о, 2, 3, b, с — термы (по п. 1 определения);
2. (а) + (2) — терм (из 1 по п. 2 определения).
34
Обычно условливаются опускать скобки, если
терм состоит из Одной буквы, т. е. вместо (а) + (2)
пишем а -f- 2.
3. (а + 2) • 3 — терм (из 1 и 2 по п. 2);
4. Ь • С — терм (из 1 по п. 2);
5. ((а + 2) • 3) + (Ь • с) — терм (из 3, 4 по п. 2).
Обычно опускают скобки, условившись, что знак
умножения связывает сильнее знака сложения. Получаем
(а + 2) • 3 ֊| ֊ Ьс. ♦
С. Понятно. Но по мере введения новых знаков
мы строим новые термы. Например, после введения
знака деления (:) мы рассматриваем новые термы
вида а \Ь. А как быть в случае, когда b = О?
А. Этот терм обозначает имена чисел при условии,
что Ь ф О, причем термы строят и на языке
геометрии.
С. По-видимому, отдельные буквы А, В, С, …;
а, b, с, … — постоянные, имена точек и прямых.
А. И эти же буквы иногда применяются в качестве
переменных для точек, прямых.
С. Но какие здесь имеем операции?
А. В геометрии имеем ряд унарных операций,
т. е. выполняемых над одним объектом, в отличие
от бинарных, выполняемых над двумя объектами,
как, например, сложение или вычитание чисел.
Например, если Si — обозначает осевую симметрию
с осью /, то 5;(Л) — образ некоторой точки А
в этой симметрии. Если Z0 обозначает симметрию
с центром О, то Z0{A) — образ точки А в этой симметрии.
Если Ro обозначает поворот вокруг точки
О на угол а , то Ro(A) — образ точки А в повороте.
С. Значит, выражения S/(A), Zo(A) и Ro(A) —
термы.
А. И смысл их такой же, как и термов на языке
алгебры.
Если термы не содержат переменных, то они
имеют тот же смысл, что имена существительные,
только в алгебре — это имена чисел, в геометрии
же — имена точек, прямых или других геометрических
фигур. Если термы содержат переменные, как,
например, х + 3, то они представляют собой имен
35
ные формы (или формы для имен), которые обра щаются
в имена лишь после подстановки вместо
переменных каких-нибудь их значений (так, 1 + 3,
2 -|- 3, 3 + 3, 15 + 3 и т. п.— имена чисел, полученные
из одной именной формы х + 3 подстановкой
значений вместо переменной х).
С В геометрии мы ведь пользуемся и обозначениями
для векторов и операций над ними. На
яз^ ке векторов, по-видимому, мы тоже имеем дело
с термами.
Конечно. Знаки а , Ь, …, х — имена или переменные
для векторов — представляют собой элементарные
термы. Из них по правилам, аналогичным
тем, которые мы сформулировали для языка
алгебры, строятся новые термы, например а + b ,
а(Ь + 0 ) и др.
С. Теперь, кажется, понятно, как из термов
образуются элементарные формулы. Если два терма
соединить знаком какого-нибудь отношения, например
« = » или « ■ < » , или « > » , или « X » , или «||»,
то получается формула.
А. Вы правильно поняли. Вполне естественно,
что термы соединяются знаком отношения из того
же языка, т. е. такого отношения, в котором могут
находиться объекты, обозначаемые этими термами
(числа могут находиться в одном из отношений
« = », « о , « > » , прямые или плоскости могут
находиться в одном из отношений «_!_», « ||» и т. д.).
Если же два терма соединяются знаком отношения
из другого языка, которое не применимо к объектам,
обозначаемым этими термами, то получается
бессмысленное выражение (состоящее из
знаков различных языков), которое мы не должны
отнести к формулам.
Обратим теперь внимание на различие между
формулами, содержащими и не содержащими переменные.
Возьмем в качестве примера три формулы:
(1) 2 + 3 = 5; (2) 4 + 3 = 5; (3) х + 3 = 5.
Чем различаются эти формулы по своему зна чению?
Формула (1) выражает истинное высказыва
36
ние, формула (2) — ложное, а формула (3), содерж
ащ а я переменную, не выражает определенного
высказывания.
А Это верно. Но если в формуле (3) вместо х
подставить какое-нибудь значение (из области зна чений
этой переменной), то получим формулу, выражающую
высказывание, истинное или ложное в з а висимости
от того, какое значение подставили.
В частности, если подставить в (3) вместо х
значение 2, получим истинное высказывание (1),
если же подставить 4 — ложное высказывание (2).
В логике формулы с переменными, обращающиеся
в высказывания при подстановке вместо переменных
каких-нибудь их значений, называют
также высказывательными формами.
Это название говорит о том, что мы имеем здесь
лишь «формы для высказываний». Одна такая форма
порождает множество высказываний (одной
формы). Причем это множество может быть конечным
или бесконечным в зависимости от того, является
область значений переменных конечной или бесконечной.
В этом кроется значимость разного рода переменных,
широко используемых в математическом
языке. Они позволяют выражать на этом языке
общие закономерности с помощью высказыватель-
ных форм.
С. Нельзя ли привести пример?
Сравните две высказывательные формы (формулы
с переменными): х -\- 3у = 10 (13); х-\֊ у = у — \ — х ,
где х, у g Z (14).
Формула (13) верна не для всех пар целых
чисел. Например, если подставить х = 2 и у — 1,
то получим 2 3 • 1 = 10, т. е. ложное высказывание.
Формула же (14) верна для любых двух целых
чисел, она выражает закон коммутативности сложения
в Z.
А. Совершенно верно. Иными словами, каждая
из формул (13), (14) порождает во множестве Z
бесконечное множество высказываний. Но если среди
высказываний, порождаемых формулой (13),
имеются как истинные, так и ложные, то множест
37
во высказываний, порождаемых формулой (14), состоит
из одних истинных высказываний.
С. Я так понял, что если все буквы, входящие
в формулу, применены в качестве постоянных (имен
объектов), то формула выражает высказывание.
Если же хотя бы одна буква применяется в качестве
переменной, то эта формула представляет
собой лишь форму для высказываний (высказыва-
тельную форму).
А. Хотя в тех примерах, которые мы приводили,
это действительно так, но, оказывается, вообще не
всегда формула, содержащая переменную,— вы-
сказывательная форма. Отличают еще свободные
и связанные вхождения переменных.
Например, формула х 2 = 4 — высказывательная
форма, а вот формула Птл:2 = 4 обозначает истин-
х—2
ное высказывание.
В первой из этих формул переменная х входит
свободно (является свободной переменной), во второй
же она входит связанно (является связанной
переменной), она связана оператором lim.
*—2
Как же можно теперь уточнить Ваше заключение,
касающееся высказывательной формы?
С. Формула, содержащая хотя бы одну свободную
переменную, обозначает высказывательную
форму.
А. Верно. В математике мы часто имеем дело
с переменными, связанными логическими операторами,
о которых речь пойдет дальше.
Теперь же попытаемся перевести на математический
-язык тот факт, что высказывательная форма
обращается в истинное или ложное высказывание
при подстановке вместо переменных их зн а чений.
Рассмотрим в качестве примера высказывательную
форму * + 3 = 5, где х £ А = { 1, 2, 3, 4, 5}.
Обозначим истинностные значения высказываний
через И (истина) и Л (ложь) и представим результат
подстановки значений х в высказывательную
форму в виде таблицы:
38
А х 4 — 3 = 5 И или Л?
1 1 + 3 = 5 Л
2 2 + 3 = 5 И
3 3 + 3 = 5 л
4 4 + 3 = 5 л
5 5 + 3 = 5 л
Что задает эта таблица?
С. Мне кажется, что она задает некоторое соответствие,
или функцию.
А. Правильно. Мы действительно имеем здесь
функцию, определенную на множестве А, принимающую
значения из множества {И, Л}, т. е. функцию
вида
И, Л}.
Такая функция, принимающая значения И или
Л, называется логической функцией, или предикатом
(одноместным).
Высказывательная форма с двумя переменными
называется логической функцией двух переменных,
или двухместным предикатом.
Рассмотрим высказывательную форму х + 2у = 8
и область значений переменных — то же множество
А = { 1, 2, 3, 4, 5}. Результат подстановки значений
переменных можно представить в виде таблицы
с двумя входами (один для х, другой для у):
х\У 1 2 3 4 5
1 Л л л л Л
2 Л л и л Л
3 Л л л л л
4 Л и л л л
5 Л л л л л
Как видно, эта двухместная высказывательная
форма также определяет некоторую логическую
функцию.
39
Беседа 2
Каждой паре чисел из А ставится в соответствие
И или Л.
А. Совершенно верно.
Множество всевозможных пар элементов из А
называется также произведением множества А на
самого себя и обозначается через А х А , или А2
(т. е. А2 = {(х, у ) \х £ А и у է А)).
Таким образом, мы имеем здесь логическую
функцию вида
А2^ { И, Л},
или двухместный предикат.
С каждым предикатом связаны три множества:
1) область определения (в первом нашем примере
— это множество А, во втором — А2);
2) область значений — в любом предикате одно
и то же — {И, Л};
3) область истинности — подмножество области
определения, на котором предикат принимает зна чение
И (в первом примере — это {2}, во втором —
4(2 ; 3), (4 ; 2)}).
Так как Ваши примеры высказывательных
форм х + 3 = 5 и х -\-2у = 8 представляют собой
уравнения, то области истинности этих предикатов
— множества решений этих уравнений. А об ласти
истинности предикатов, определяемых неравенствами
х + 3 < 5 и х + 2 у < 8 , будут ли множествами
решений этих неравенств?
А. Конечно. Вот видите, мы попутно раскрыли
логическую сущность уравнений и неравенств, они
представляют собой предикаты.
Все это понятно. Но слово «предикат», к а жется,
в переводе на русский язык означает сказуемое.
Здесь же предикат — функция определенного
вида, логическая функция. Есть ли какая-
нибудь связь между ними?
А. Несомненно. Традиционная или, как еще ее
называют, аристотелевская формальная логика
расчленяла элементарные высказывания на две ча сти:
субъект (логическое подлежащее) — то, о чем
идет речь в высказывании, и предикат (логическое
сказуемое) — то, что утверждается или отрицается
в высказывании о субъекте.
40
Например, в высказывании «2 — простое число»
имеем: «2 » — субъект, а свойство «быть простым
числом», приписываемое субъекту,— предикат; в высказывании
«углы прямоугольника — прямые» имеем:
«углы прямоугольника» — субъект, а свойство «быть
прямым», приписываемое субъекту,— предикат. Причем
эти высказывания утвердительные, т. е. в них
устанавливается наличие соответствующего свойства
у субъекта. В высказывании же «1 не есть простое
число» отрицается свойство (предикат) «быть простым
числом» у субъекта.
Как же в современной формальной (математической)
логике математизируется это расчленение
предложения на субъект и предикат?
Оказывается, что элементарное предложение
такого рода, выражающее свойство предмета, можно
связать с функцией одной переменной Р{х), при
этом сама функция Р — логическая функция одной
переменной, т. е. одноместный предикат, а аргумент
х — субъект.
Например, если Р — предикат, выражающий
свойство «быть простым числом», а х £ N, то Р(х) —
предложение (высказывательная форма) « х — простое
число». В результате подстановки вместо х
числа 2 получим Р{ 2) — истинное высказывание
«2 — простое число», а в результате подстановки
числа 1 получим /*(1) — ложное высказывание «1 —
простое число», т. е. Р(2) — И, Я(1) = Л. Аналогично,
Р(3) = И, Р(4) = Л , Р(5) = И, Р(6) = Л , Р(7) = И,
Р{8) = Л, Р(9) = Л и т. д.
Таким образом, высказывательная форма Р(х)
в приведенном истолковании определяет некоторую
функцию типа
Р: W-ЧИ, Л},
которую мы и называли одноместным предикатом.
Но как быть с высказываниями вида 2 < 3՝
или 2 + 3 = 5? Что у них является субъектом, что —
предикатом?
А Ваш вопрос и говорит о неудовлетворительности
традиционного разбиения предложения на
субъект и предикат. В этих предложениях мы имеем
41
несколько субъектов. Конечно, можно и здесь объявить
субъектом пару чисел (2; 3) или тройку (2; 3; 5)
и предикатом соответственно свойство пары, состоящее
в том, что первое число меньше второго,
и свойство тройки, состоящее в том, что сумма первых
двух чисел равна третьему. Но такое «склеивание
» нескольких субъектов в один и представление
отношения (бинарного или тернарного) в виде свойства
пары или тройки чисел не всегда устраивает
математику.
Математизация же понятия предиката на б а зе
идеи функции сразу позволяет рассматривать
логические функции не только одной, но и двух,
трех и более переменных, т. е. двухместные, трехместные
и вообще п-местные предикаты, выражающие
бинарные, тернарные и вообще ո-арные отношения,
при этом субъекты (2, 3 и вообще п) становятся
аргументами.
Например, двухместная высказывательная форма
Р(х, у): х < у , где * , у £ N,
определяет двухместный предикат
Р: Л ^ { И , Л}.
Приведенное Вами высказывание 2 < 3 является
результатом подстановки в Р{х, у) вместо х числа 2,
вместо у значения 3, т. е. Р{2, 3). Ясно, что Р(2, 3) = И,
а Р(3, 2) = Л.
Трехместная высказывательная форма
S(je, у, г): х + у = z, где х, у, z £ N,
определяет трехместный предикат
S : N 3^ { И, Л}
(N3 — множество всевозможных троек натуральных
чисел, т. е.
W3 =={(*, у , z ) \ x £ N , y £ N и z £N) ) ,
причем S(2, 3, 5) = И, а, например, S(4, 3, 5) = Л.
С. Это я уже понял.
Как же из элементарных формул строятся математические
предложения?
42
А. Чтобы выяснить, как из элементарных предложений
(формул) образуются составные (сложные)
предложения (формулы) с помощью логических связок,
проанализируем ряд примеров.
Из двух элементарных формул х 6 А и х (Е В можно
образовать следующие составные предложения:
(1) «Неверно, что х £ А » (обычно, в том числе
и в школьной математике, это предложение записывается
.кратко «х (Է Л»);
(2) «х 6 А и х £ В » (равносильно «х £ А Ո В » — «х
принадлежит пересечению множеств А и В»);
(3) «х £ А или х £ В » (равносильно « х ^ А [ ] В » —
«х принадлежит объединению множеств А и В»);
(4) «если х £ А , то х £ б » ;
(5) «х (j А тогда и только тогда, когда х £ В »
(равносильно «А = В » — «множества А и В равны»,
состоят из одних и тех же элементов);
(6) «для всякого х, если х £ А , то х £ В » (равносильно
«А տ В » — «А включается в В» , все элементы
из А являются элементами В);
(7) «существует х такое, что х ^ А » (равносильно
«А ф 0 » , А — не пустое множество).
Какие словесные выражения фигурируют в приведенных
предложениях в качестве логических
связок?
С. «Неверно, что», «и» , «или», «если … то»,
«тогда и только тогда, когда», «для всякого», «существует
».
А. Для выделения логической структуры этих
(и других) предложений мы будем дальше пользоваться
некоторыми применяемыми в математической
логике символическими обозначениями логических
связок:
неверно, что — 1 — знак отрицания;
и — Д — знак конъюнкции;
или — V — знак дизъюнкции;
если … то — =>֊ — знак импликации;
тогда и только
тогда, когда — ~ — знак эквиваленции;
для всякого — V — знак квантора общности;
существует — 3 — знак квантора существования
43
Беседа 2
А «отрицание», «конъюнкция», «дизъюнкция»
и т. д. — названия логических операций, обозначаемых
этими знаками?
А, Верно, и к этим операциям мы еще вернемся.
С помощью перечисленных выше символов предложения
(1) — (7) запишутся так:
(1) 1 (xtA); (2) (* е л) д (х е ву
(3) (х е А) V (х 6 В);
(4) ( х е А ) ^ ( х е в у ,
(5) (х е А) ~ {х £ В)\
(6) V дс((х £ Л)=*>(х 6 Д));
(7) 3 х{х’£ А).
С. Вы говорили о выделении логической структуры
этих (и других) предложений. Что надо понимать
под логической структурой предложения?
Логическая структура (форма) предложения
получается, если мы заменим в нем составляющие
его элементарные формулы какими-нибудь буквами,
т. е. логическая структура или форма предложения
— то, что остается, когда мы отвлекаемся от
его содержания, заложенного (выраженного) в его
элементарных составляющих.
Если, например, элементарную формулу х £ А
обозначить через Р (или Р(х)), а формулу х £ В —
через Q (или Q(x)), то логические структуры предложений
(1) — (7) запишутся так:
(1) 1 Р (или 1 Р{х))՜,
(2) Р A Q (или Р(х) Д Q(x));
(3) P V Q ;
(4) P=^Q;
(5) P ~ Q ;
(6) V x(P(x)=>Q(x))-,
(7) З х P{x).
С. По-видимому, первые 5 связок применимы
и к высказываниям, и к высказывательным формам,
а последние две — лишь к высказывательным формам.
А. Совершенно верно. Кванторы общности и существования
имеет смысл применить лишь к высказывательным
формам, содержащим свободные переменные.
В результате этого применения перемен
44
ная, на которую «навешивается» квантор, становится
связанной (этим квантором). Если, например,
в (6) нас интересует лишь квантор, то можно обозначить
высказывательную форму P(x)=$~Q(x) через
А{х). Получим структуру (6′) V х А(х).
Таким образом, одно и то же предложение может
подвергаться более или менее глубокому анализу
с целью выделения его логической структуры (так,
в результате различного анализа предложения (6)
мы получили его логическую структуру в виде (6)
или (6′)).
С. Получается, что все содержание сложного
предложения как бы заложено в составляющих его
элементарных предложениях (формулах). Если мы
заменили элементарные формулы какими-нибудь
буквами, то осталась одна форма предложения без
содержания.
А. С опущенным содержанием. И каждой из
форм или структур (1) — (7) могут обладать предложения
различного математического или нематематического
содержания, если фигурирующие в этих
формах буквы Р и Q воспринимать как переменные,
вместо которых можно подставить произвольные
элементарные (или неэлементарные) предложения
(формулы).
Это понятно. Теперь, по-видимому, уже можно
уточнить, как устроены математические предложения.
А. Математические предложения строятся из
элементарных формул и логических связок по
простым правилам, которые можно объединить
в виде следующего определения:
1. Элементарные формулы — предложения (элементарные).
2. Если А — предложение, то «неверно, что А»
( ~М) — предложение.
3. Если А и В — предложения, то
«А и В » (А Д В),
«А или В » (А V В),
«если А, то В » (А=>В).
«А тогда и только тогда, когда В » {А ~ В) —
предложения.
45
4. Если А(х) — предложение, содержащее свободную
переменную х, то «для всякого х А{х)»
( V х А{х)) и «существует х такое, что А(х)» ( 3 х
А(х)) — предложения, в которых х уже связанная
переменная.
5. Других предложений, кроме образованных
в соответствии с п. 1—4, нет.
С. И всякое предложение, построенное по этим
правилам, является математическим, если элементарные
формулы, из которых оно образовано, ма тематического
содержания?
А. Совершенно верно.
С. А обратное тоже верно? Всякое ли математическое
предложение, сформулированное или з а писанное
на словесном языке, можно представить
в виде, соответствующем этому определению?
Например, как представить в таком риде предложение
«Всякий прямоугольник — параллелограмм»?
А. Это предложение обладает структурой
(6) V x(P(x)=>Q(x)\
если под Р(х) будем понимать одноместную высказывательную
форму «х — прямоугольник», а под
Q(x) — «х — параллелограмм».
Р(х) и Q(x) — предложения в силу п. 1 определения;
P(x)=$-Q(x) — предложение в силу п. 3,
а \ х P(x )= * ֊Q(x ) )— в силу п. 4.
С. Но при таком понимании Р{х) и Q(x) предложение
(6) читается так: «Для всякого х, если х —
прямоугольник, то х — параллелограмм».
А. Это предложение выражает то же, что и предложение:
«Всякий прямоугольник — параллелограмм
».
Можно привести примеры предложений и более
сложной структуры, в которой участвуют несколько
логических связок, не выделяемых в обычной словесной
формулировке.
Возьмем в качестве примера предложение: «Множество
простых чисел бесконечно». Это предложение
можно сформулировать иначе (в полной логической
форме, с выделением всех логических связок)
46
следующим образом: «Для любого числа а, если
а — простое число, то существует число b такое,
что b больше а и ծ — простое число». Эта необычная
словесная форма помогает нам осуществить
перевод предложения на символический (логикоматематический)
язык. Из этой формы сразу же
видно, что необходимо ввести одноместный предикат
Р, выражающий свойство «быть простым числом
» (Р(а) — « а — простое число»; Р(Ь) — «Ь —
простое число»), и двухместный предикат Q, выражающий
бинарное отношение «больше» (Q(b, а) ֊
«Ե > а»).
С помощью этих обозначений наше предложение
запишется так:
Va(P(a)=^ Յծ((?(ծ, а)ДР(й)). (*)
Сможете сейчас доказать, что запись (*) представляет
собой предложение в силу данного выше
определения?
С
1.
Наверное, смогу.
Q(b, а) — предложение (эле1.
п. 1;
2.
ментарное);
Р{Ь) — предложение (эле2.
п 1;
3.
ментарное);
Q(b, а) Д Р(Ь) — предложе3.
из 1, 2, п. 3;
4.
ние;
Յ ծ (Չ (ծ , а) Д Р(Ь)) — пред4.
из 3, п. 4;
5.
ложение;
Р(а) — предложение (эле5.
п. 1;
6.
ментарное);
P ( a ) = > 3 b (Q ( b , а) Д Р(Ь) ֊ 6. из 5, 4, п. 3;
7.
предложение;
V а(Р(а)=$~ 3 b(Q(b, а) А 7. из 6, п. 4.
Д Р(Ь))) — предложение;
Л. Превосходно! Если мы отвлечемся от значе-
ний предикатов Р и Q, т. е. будем рассматривать
буквы Р и Q как переменные для одноместного
и двухместного предикатов соответственно, то з а пись
(*) будет представлять собой не конкретное
предложение, а лишь форму (структуру), которой
могут обладать предложения различного содержания
47
Здесь содержание определяется выбором
предикатов Р и Q?
Точнее, выбором некоторой конкретной интерпретации
для этих предикатных переменных, а следовательно,
и для всей формулы.
Что Вы имеете в виду под интерпретацией?
А. Под интерпретацией здесь имеется в виду
сопоставление с одноместной предикатной буквой Р
определенного свойства элементов некоторого множества
D — области интерпретации; с двухместной
предикатной буквой Q — некоторого бинарного отношения
между элементами D, при этом переменные
а, b принимают значения из D.
В нашей исходной интерпретации формулы (*)
D — множество N натуральных чисел, Р обозначает
свойство «быть простым числом» (во множестве ЛГ),
Q обозначает отношение «больше» в N , а, b —
переменные для натуральных чисел (значениями которых
являются натуральные числа). В этой интерпретации
форма (*) представляет собой запись предложения,
выражающего истинное высказывание.
Если можно, приведите другую интерпретацию
формы (*).
Можно, разумеется. Пусть область интерпретации
D — множество Q рациональных чисел,
Р обозначает свойство «быть положительным числом
», a Q — отношение «меньше». В этой новой
интерпретации форма (*) порождает предложение:
«Для любого рационального числа а, если а— положительное,
существует рациональное число b
такое, что оно меньше а и тоже положительное».
Как видите, это предложение выражает истинное
высказывание, которое можно сформулировать и так:
«В о множестве рациональных чисел нет наименьшего
положительного числа».
В любой ли интерпретации форма (*) даст
предложение, выражающее истинное высказыв ание?
А. Не в любой. Достаточно в последней интерпретации
изменить значение предикатной переменной
Р следующим образом: Р обозначает свойство
«быть натуральным числом», и мы получим ложное
48
высказывание: «Нет наименьшего натурального
числа».
С. Однако нет ли таких логических структур
(форм), которые в любой интерпретации дают истинное
предложение?
А, Вы затронули чрезвычайно важный вопрос.
Есть такие формы, и они играют основную роль
в логике. Но перед тем, как рассматривать их, нам
нужно прежде всего выяснить, от чего зависит и как
определить истинностное значение (И или Л) сложного
предложения.
С. По-видимому, это значение зависит от истинностных
значений элементарных формул, из которых
образовано сложное предложение.
И от логической структуры последнего. Чтобы
выяснить, как истинностное значение сложного
предложения зависит от истинностных значений
составляющих его элементарных предложений и
от логической структуры, необходимо определить
все -логические связки (или обозначаемые ими логические
операции), с помощью которых из элементарных
формул строятся предложения.
В определениях логических связок, по существу,
фиксируется тот смысл, в котором они обычно применяются.
Первые пять связок: 1 , Д , V . =►. ~ можно
определить с помощью соответствующих истинностных
таблиц.
_А_ _____~_1_А_ .(истинностная таблица отрицания).
И Л
Л И
Среди перечисленных пяти связок знак отрицания
1 является единственным унарным оператором,
т. е. применимым к одному предложению (высказыванию
или высказывательной форме).
С Для высказываний эта таблица понятна:
если А — истинное высказывание, то его отрицание
~1А — ложное высказывание, если же А — ложно,
то ~Ъ4 истинно. Но как понимать эту таблицу,
если А — высказывательная форма?
В этом случае таблицу надо понимать так.
4 Столяр
49
Пусть, например, А — одноместная высказывательная
форма. Обозначим ее через А{х). Тогда в любой
интерпретации с областью D при любом значении х
из D, при котором А(х) обращается в истинное
высказывание, 1 А(х) обращается в ложное; при
любом же значении х из D, при котором А(х) обра щается
в ложное высказывание, Л А{х) обращае т ся
в истинное.
С. И так же, по-видимому, следует понимать
эту таблицу, если А, например, двухместная высказывательная
форма.
А. Разумеется.
Приведем теперь истинностную таблицу для
четырех бинарных логических операций: конъюнкции
(Д ) , дизъюнкции (V), импликации (=>■) и экви-
валенции ( ~ ) , обозначаемых в обыденной речи
соответственно словами: «и», «или», «если … то»
и «тогда и только тогда, когда»:
А в А / \ В Л V В А= >В А ~ В
И и И и И И
И л Л и Л Л
Л и Л и И Л
л л л л и И
с . По этой таблице у меня возникли некоторые
вопросы. Определение конъюнкции действительно
соответствует обычному смыслу «и»: когда мы соединяем
союзом «и» два предложения, то полученное
предложение считаем истинным только тогда,
когда истинны оба составляющих предложения.
А вот союз «или» уже не всегда так понимается,
как в приведенной таблице.
А. Вы правы. В приведенном определении дизъюнкции
«или» понимается в неразделительном
смысле. В этом случае образованное предложение
истинно, когда истинно хотя бы одно из составляющих
его предложений. Однако союз «или» применяется
также в разделительном смысле (в этом
случае иногда говорят «или… или», «либо… либо»),
50
когда новое предложение считается истинным только
тогда, когда одно из составляющих истинно,
а другое ложно. Соответствующая логическая операция
называется строгой дизъюнкцией (V ) .
Вы сможете сейчас составить истинностную
таблицу строгой дизъюнкции?
С. Наверное, смогу.
А В Л V В
И и л
и л и
л и и
л л л
А. Правильно. Какие еще вопросы у Ва с имеются
по истинностным таблицам?
С. Не совсем понятна таблица импликации. Точнее,
первые две строчки согласуются с моим пониманием
выражения «если… то», а вот третья и четвертая
строчки кажутся неестественными.
А. Почему?
С. Непонятно, как это получается, что предложение
«Если Л, то В » истинно, когда А и В ложны
(4-я строка), или когда Л ложно, а В истинно (3-я
строка).
А. Рассмотрим высказывательную форму: «Если
х делится на 3, то х 2 делится на 3». Что Вы
можете сказать об истинностных значениях этой
высказывательной формы при различных значениях
х?
С. По-моему, при любом значении х мы получим
истинное высказывание.
А. Верно. Следовательно, и при х = 9 получаем
истинное высказывание «если 9 делится на 3, то 81
делится на 3», и при л: = 10 тоже получим истинное
высказывание: «Если 10 делится на 3, то 100 делится
на 3», хотя оба высказывания, составляющие
эту импликацию: «10 делится на 3» и «100 делится
на 3» — ложные.
Такого рода конкретные следствия из общих
предложений (высказывательных форм) широко
51
используются в математике, и единственное отличие
их от привычных разговорных оборотов состоит
в том, что в математике обычно не пользуются
сослагательным наклонением. В самом деле, истинность
импликации: «Если бы 10 делилось на 3,
то и 100 делилось бы на 3», уже никаких возр аже ний
и недоумений не вызывала бы (!).
С. Этим примером Вы оправдали четвертую
строку таблицы импликации. А третью?
А. Возьмем в качестве примера предложение:
«Если а делится на 3 и i делится на 3, то a -f- b
делится на 3».
Оно истинно при любых значениях а и Ь.
В таком случае при а = 5 и b = 7 получаем
истинное высказывание: «Если 5 делится на 3 и 7
делится на 3, то 5 + 7 делится на 3», в котором
первое из составляющих предложений: «5 делится
на 3 и 7 делится на 3» — ложное высказывание
(как конъюнкция, каждое из составляющих которой
ложно), а второе: «5 + 7 делится на 3» — истинное
высказывание.
С. А соответствует ли таблица импликации
тому смыслу, при котором оборот «если… то» применяется
в обыденной речи?
Вообще этот оборот применяется чаще всего
в обыденной речи для случаев, когда первое из
составляющих предложений, помещенное между
словами «если» и «то», истинно, т. е. в одном из
случаев, выраженных первыми двумя строками
таблицы импликации. Однако можно показать и на
нематематическом материале естественность последних
двух строчек таблицы.
Допустим, Вы договорились со своими друзьями:
«Если в воскресенье будет хорошая погода,
то мы поедем за город». С точки зрения здравого
смысла естественно считать это высказывание л ожным
в том и только в том случае, если будет нарушен
договор, т. е. если в воскресенье будет хорошая
погода, а Вы не поедете за город. Во всех же
остальных случаях, в том числе если в воскресенье
будет плохая погода и Вы поедете или не поедете
за город, т. е. во всех случаях, когда договор не
52
нарушен, естественно считать рассматриваемую
импликацию истинной.
С. Но могут возникнуть разногласия в оценке
погоды.
А. Такие разногласия находятся вне области
логики, поэтому мы предполагаем, что в оценке
погоды не возникло разногласий.
С. По приведенным истинностным таблицам
у меня больше вопросов нет. Но как определить
истинностное значение высказывания с квантором?
А. Высказывание V хА(х) истинно в данной
интерпретации, если высказывательная форма А{х)
обращается в истинное высказывание при подстановке
вместо х любого значения из области D этой
интерпретации, и ложно в этой интерпретации, если
найдется хотя бы одно значение х из D, при подстановке
которого в А{х) эта высказывательная
форма обращается в ложное высказывание.
Высказывание 3 хА(х) истинно в данной интерпретации,
если в области D этой интерпретации
найдется хотя бы одно значение х, подстановка
которого вместо всех свободных вхождений х в
А(х) обратит эту высказывательную форму в истинное
высказывание, и ложно в этой интерпретации,
если подстановка любого значения х из D о б р а щает
высказывательную форму А{х) в ложное высказывание.
С. По существу, это соответствует обычному
смыслу слов «все» и «существует». Получается, что
истинностное значение высказываний V хА(х) и
3 хА(х) не зависит от отдельного значения х. Это
значение зависит от интерпретации. А существуют
ли такие предложения с кванторами, которые
истинны в любой интерпретации?
А. Существуют. Вы уже задали аналогичный
вопрос, касающийся логических структур (форм)
без кванторов. Подобные формы представляют
особый интерес, так как независимо от содержания,
истинностных значений входящих в них элементарных
формул или интерпретации предикатов всегда
обращаются в истинные высказывания. Они истинны
в силу одной своей логической формы.
53
Такие логические структуры (формы) называются
тавтологиями, или общезначимыми формами. Они
выражают законы логики, на которых основаны
всякие рассуждения, в том числе и доказательстйа
математических предложейий.
Приведем несколько примеров.
П р и м е р 1. Рассмотрим высказывание
А: «Точка Р лежит на прямой р»
и его отрицание
1 А: «Точка Р не лежит на прямой р».
Что Вы можете сказать об истинностном зна чении
высказывания А?
С. Пока ничего. Высказывание А может быть
истинным, если точка Р действительно лежит на
прямой р, или ложным в противном случае.
А. Но что Вы можете сказать об истинностном
значении дизъюнкции
(1) Л V
С. Она истинна, когда истинно хотя бы одно
из составляющих А или 1 А.
А. Это верно для любой дизъюнкции. Но может
ли форма (1) обращаться в ложное высказывание?
С. По-видимому, не может. Если А истинно, то
и (1) истинно, если же А ложно, то тогда 1 А
истинно и (1) снова истинно.
А. Значит, форма (1) всегда истинна, и это не
зависит of содержания. Любое высказывание такой
формы будет истинным в силу одной своей структуры.
Например, высказывание: «Могилев стоит на
Днепре или Могилев не стоит на Днепре», имеет
такую же логическую структуру (А V 1 А), и мы
утверждаем, что оно истинно, не используя при
этом никаких знаний нелогического происхождения
(даже если мы забыли географию и не помним,
стоит Могилев на Днепре или нет). Или, например,
высказывание: «М. способный или М. неспособный»,
истинно в силу одной логической структуры (принадлежности
к классу предложений формы А V Л А),
независимо от того, способный или неспособный М.
И мы можем утверждать, что это высказывание
истинно, не зная даже, о ком идет в нем речь.
54
С. Это понятно. Но если А — высказывательная
форма, то будет ли (1) всегда истинно?
А. Будет, так как в любой интерпретации, если
А(х) обращается в ложное высказывание при некотором
значении х из области D этой интерпретации,
то ~\А(х) обращается при этом значении .г в истинное
высказывание и дизъюнкция А{х) V Т Л(х)
снова всегда истинна (здесь «всегда» означает при
любом значении х из области D произвольной интерпретации).
Таким образом, А V ^ Л — тавтология. Она
выражает широко применяемый закон логики,
называемый законом исключенного третьего. (Из вестно
и латинское название этого закона — Тег-
tium non d a tu r , что в дословном переводе на русский
язык означает: «Третьего не дано».)
Отвлекаясь от содержания А (рассматривая букву
А как переменную для высказываний или вы-
сказывательных форм), легко доказать с помощью
истинностной таблицы, что форма (1) — тавтология:
А 1 А А V I А
И Л И
Л И И
П р и м е р 2. Рассмотрим теперь конъюнкцию
двух предложений (высказываний или высказыва-
тельных форм), из которых одно — отрицание другого,
т. е. форму А / \ 1 А, например: «Точка Р
лежит на прямой р и точка Р не лежит на прямой р».
С. Это высказывание всегда ложно, так как
точка Р не может одновременно лежать и не лежать
на прямой р.
А. И это мы можем утверждать a priori, т. е.
до всякого опыта, выясняющего, лежит или не лежит
точка Р на прямой р.
Следовательно, отрицание этой конъюнкции
(2) Л (Л Д Л Л )
будет всегда, т. е. в любой интерпретации, истинно.
Докажите это с помощью истинностной т аб лицы
55
Беседа 2
А 1 А А А 1А ~КА л 1А)
И Л Л И
Л И Л И
А, Логический закон, выражаемый тавтологией
(2), называется законом противоречия.
П р и м е р 3. Рассмотрим еще раз высказыв ание
А: Р £ р , его отрицание 1 А: Р Հ р и отрицание
этого отрицания Н А : неверно, что Р £ р .
Последнее высказывание ( 1 1 А) означает
то же, что и первое {А).
Что Вы понимаете под «означает то же » ?
Эти высказывания выражают один и тот же
факт в разных формах, и если одно из них истинно,
то и другое истинно, если одно ложно, то и другое
ложно.
А. Иными словами, эти два высказывания имеют
всегда одинаковые истинностные значения, или
эквиваленция
(3) 1 1 А ~ А —
тавтология.
Подтвердите это с помощью соответствующей
истинностной таблицы!
С.
А 1А 1 1 А Н А ~ А
И Л И И
Л И Л И
А. Тавтология (3) выражает закон двойного отрицания.
Тождественная истинность логических форм
(1) — (3) сразу видна и подтверждать это с помощью
истинностных таблиц нет необходимости. Однако
в случае более сложных логических форм (не содержащих
кванторов или высказывательных форм)
истинностная таблица является эффективным способом
установления того, является или нет данная
логическая форма тавтологией.
С. Если последний столбик таблицы состоит из
одних И, то форма — тавтология, в противном слу
56
чае, т. е. если в этом столбике имеется хотя бы
одно Л, она не является таковой.
А. Совершенно верно. Выясним, например,
является ли эквиваленция
(4) (A = > B ) ~ ( ՜ l B ^ Ղ A )
тавтологией.
Для этого построим соответствующую истинностную
таблицу:
А В 1А 1В А= >В ~1В=> ՜Լ4 (А= *В ) ~ (1 В=> 1 А)
И И Л Л И И И
И Л Л И Л Л И
Л И И Л И И И
Л Л И И И и и
Как видно, эквиваленция (4) — тавтология. Она
выражает закон контрапозиции, находящий широкое
применение в косвенных доказательствах («от
противного»), о которых пойдет речь дальше, в одной
из будущих бесед.
Выясните теперь с помощью истинностной т а б лицы,
является ли тавтологией форма ( (А = >В ) / \
Д Й М ?
А В А= >В ( Л ^ В ) Д б {(А=>В) А В ) ^ А
И и И И И
и л Л Л И
л и И И Л
л л И Л И
Эта форма не является тавтологией,
есть строка таблицы, в которой она принимает зна чение
Л.
А. Верно. Существование такой строки таблицы
означает существование такой интерпретации или
такого набора истинностных значений высказыва-
тельных переменных А и В, а именно (Л, И), при
57
котором рассматриваемая форма обращается в л ожное
высказывание.
С. Мы рассмотрели четыре логических закона
(исключенного третьего, противоречия, двойного
отрицания и контрапозиции). Есть ли еще логические
законы, выражаемые с помощью тавтологий?
А. Есть и довольно много. Перечислю еще ряд
тавтологий, выражающих логические законы:
(5) А Д Б = ^С ~ Л Д 1 С=> 1В.
(Здесь и далее мы опускаем скобки, придерживаясь
следующего соглашения: каждый из знаков
последовательности 1, Д , V. =^> ~ связывает
«сильнее» любого из последующих. Если восстановить
все скобки, определяющие порядок выполнения
операций в (5), получим {{А Д В)=>С) ~ ((А Д 1С)=>-
=► 1Я)-)
(6) А=>(В=>С) ~ Л Д В ^ С —
(7) А = > {В = > С ) ~ В = $ ֊(А = $ ֊С );
(8) ( Л ^ В ) Д ( Й ^ С И ^ С ) ;
(9) 1 ( Л У В ) ~ 1Л Д 1В ;
(10) 1 ( Л Д Й ) ~ 1А V
( 11) 1А у В;
(12) 1 (Л = ^ б ) ~ Л Л 1Б;
(13) (А ^ В ) Л А = > В ;
(14) (Л ^ Й )Д 1 В = > 1А .
Этот перечень можно еще далеко продолжить.
Но мы ограничимся перечисленными тавтологиями
( 1 )— (14).
Предлагаю Вам с помощью истинностных таблиц
самостоятельно доказать, что формы (5) — (14)
действительно тавтологии.
С. С удовольствием выполню это задание. Но как
называются законы, выражаемые этими тавтологиями?
А. Некоторые из них имеют специальные н а з в а ния:
( 5 )— закон расширенной контрапозиции;
( 7 )— закон перестановки посылок; ( 8 )— закон
силлогизма; (9), ( 1 0 )— законы де Моргана (по
имени английского логика прошлого века Аугуста де
Моргана). Другие законы ((6), (11), (12)) просто уста
58
навливают возможность выражения одних и тех же
мыслей с помощью различных логических структур.
С. Я заметил, что все рассмотренные до сих пор
логические законы выражаются тавтологиями, не
содержащими кванторы. Существуют ли такие
законы, которые нельзя выразить без использования
кванторов?
А. Вы правильно заметили особенность перечисленных
тавтологий. И вопрос Ваш вполне правомерен.
Все эти тавтологии записаны на языке так
называемой логики высказываний, начальной, простейшей
части математической логики. Средствами
логики высказываний анализируются лишь сложные
(составные) предложения и те рассуждения, в которых
используется логическая структура таких
предложений. Элементарные же предложения (атомы)
и рассуждения, в которых используется внутренняя
структура таких предложений, не анализируемы
этими средствами. Поэтому на языке логики высказываний
выразимы лишь те логические законы,
которые не затрагивают внутреннюю структуру
элементарных предложений. Однако эти законы не
исчерпывают всех логических законов.
С. Значит, логики высказываний недостаточно?
А. Совершенно верно. Эта логика не расчленяет
элементарные предложения, не выражает их внутреннюю
(субъектно-предикатную) структуру. Более
мощной, достаточной для анализа всякого рода
рассуждений и доказательств, является логика
предикатов.
С. Но Вы показали, что закон исключенного
третьего имеет место и для высказывательных форм,
т. е. для предикатов.
А. Это верно для всех перечисленных выше логических
законов. И вообще вся логика высказываний
является частью логики предикатов, но. только
частью. Поэтому имеются логические законы, выражаемые
на языке логики предикатов, но не выражаемые
на языке логики высказываний.
Приведем несколько примеров.
59
П р и м е р 1. Рассмотрим два высказывания:
(1) 1 V хР(х) и (2) 3 x 1 Р(х).
Как Вы их прочтете с помощью слов русского языка?
С. «Неверно, что для всякого х выполняется
свойство Р» и «Существует х, для которого не верно,
что выполняется Р».
А, Что Вы имеете в виду под «выполняется»?
С. Истинно.
А. Правильно. Но можно сказать и так: «Неверно,
что всякий х обладает свойством Р» и «Сущес твует
х, не обладающий свойством Р». Давайте теперь
выясним, существует ли какая-нибудь связь между
истинностными значениями (1) и (2).
С. Мне кажется, что этими двумя высказыв аниями
выражается одно и то же.
А. Можно это установить следующим образом.
Рассмотрим произвольную интерпретацию логических
форм (1) и (2). Если любой элемент из
области D этой интерпретации обладает свойством Р,
то и (1), и (2) обращаются в этой интерпретации в
ложные высказывания. Например, пусть D — множество
прямоугольников, а Р — свойство «иметь
прямой угол». Тогда (1) — ложное высказывание:
«Неверно, что всякий прямоугольник имеет прямой
угол» и ( 2 )— ложное высказывание: «Существует
прямоугольник, не имеющий прямого угла».
Если же не все элементы D обладают свойством Р,
то в этой интерпретации (1) обращается в истинное
высказывание. Но тогда существует хотя бы
один элемент из D, не обладающий этим свойством,
а значит, и (2) обращается в истинное высказывание.
Например, пусть теперь D — множество параллелограммов,
а Р, по-прежнему,— свойство «иметь прямой
угол». Теперь ( 1 )— истинное высказывание:
«Неверно, что всякий параллелограмм имеет прямой
угол» и (2) — истинное высказывание: «Существует
параллелограмм, не имеющий прямого угла».
Таким образом, формы (1) и (2) в любой
интерпретации обращаются обе в ложные или обе
в истинные высказывания. Иными словами, нет такой
60
интерпретации, в которой одна из них была бы
истинным высказыванием, а другая — ложным.
В таком случае, что можно утверждать об
эквиваленции
(15) 1 V х Р ( х ) ~ 3 х 1 Р ( х )?
С. Эта эквиваленция всегда истинна, т. е. т а в то логия,
а следовательно, выражает логический закон.
А. Совершенно верно. С помощью рассуждений,
аналогичных только что проведенным мною, самостоятельно
установите, что и эквиваленция
(16) 1 3 х Р ( х ) ~ V х !Р ( х )
общезначима.
П р и м е р 2. Рассмотрим форму
(17) У х ( Р , М А е д ~ VxPj (х) A V х р 2(х).
Общезначимость этой формы очевидна.
А. Как Вы это покажете?
С. Ведь если каждый элемент области D интерпретации
обладает свойствами Р\ и Բշ, то это означает,
что каждый элемент обладает свойством Р\
и каждый элемент обладает свойством Բշ.
Правильно. Возьмем теперь форму, обще значимость
которой не так очевидна, а быть может,
д аже совсем неочевидна.
П р и м е р 3. Рассмотрим форму
(18) V хР(х)=>Р(у).
Как видите, в ней переменная х связана, а переменная
у входит свободно. Стало быть, эта форма
определяет некоторую логическую функцию от свободной
переменной у (одноместный предикат) и,
кажется, что в зависимости от выбранной интерпретации
и подставляемого значения свободной
переменной у из области D этой интерпретации
форма (18) должна обращаться в истинное или
ложное высказывание. Но легко установить, что
ни в какой интерпретации, ни при каких значениях у
она не может обращаться в ложное высказывание.
Рассмотрим два возможных случая.
1. Пусть не все элементы области D интерпре
61
тации обладают свойством Р. Тогда первый член
импликации (18) V хР(х) — ложное высказывание,
а значит, вся эта импликация истинна (в соответствии
со строками 3 и 4 истинностной таблицы
импликации).
2. Если же в некоторой интерпретации все элементы
области обладают свойством Р, то первый член
импликации (18) V хР(х )-— истинное высказывание.
Но в этом случае, подставив вместо свободной
переменной у любое ее значение о из D, получим тоже
истинное высказывание Р(а), так как все элементы D,
в том числе и а, обладают свойством Р, следовательно,
опять импликация (18) истинна.
Но в любой интерпретации имеет место один
и только один из двух рассмотренных случаев.
Значит, форма (18) общезначима.
С. Это, действительно, как-то неожиданно, но
весьма интересно.
А. Предлагаю Вам самостоятельно установить
общезначимость импликации
(19) Р {у )= > ЗхР(х).
Подскажу. Рассмотрите два случая: 1) интерпретацию,
в которой второй член импликации истинный,
и 2) интерпретацию, в которой он ложный.
С. С удовольствием попробую порассуждать.
Но теперь мы уже подготовлены к рассмотрению
вопроса, что из чего следует.
А. Вполне. Это и будет темой нашей следующей
беседы. А пока для закрепления того, что Вы узнали
в этой беседе, предложу Вам
Упражнения
2.1. Составьте истинностную таблицу для неравенств:
а) * + 3 < 5 ; б) х + 3 > 5 ; в) х + 3 > 5;
г) х + 2 у < 8 \ д) х . + 2 у > 8 ; е) х + 2у > 8, где
х, у £ А — {\, 2, 3, 4, 5}, и выпишите множества
решений этих неравенств.
2.2. Предикат (логическую функцию) какого
вида определяет высказывательная форма:
а) х + у = z\ б) х — \ — у = 10; в) х — | — 2 = 1 0 ;
г) х + 3 < 10; д) x + y < . z \ е) x — \ — y > z \ ж) х 4 ֊
+ у < 10; з) х + у > 10, где х, у, г 6 Ю
2.3. Выделите логическую структуру (форму)
предложений путем замены элементарных составляющих
буквами, а слов, обозначающих логические
связки,— соответствующими знаками:
а) Если основание пирамиды — правильный многоугольник
и высота проходит через центр основания
или двугранные углы при основании равны, то
пирамида — правильная.
б) Если основание пирамиды — прямоугольный
треугольник, то боковая грань, проходящая через
гипотенузу, перпендикулярна к плоскости основания
тогда и только тогда, когда высота проходит через
середину гипотенузы.
в) Если число целое или выражается обыкновенной
дробью, или выражается конечной десятичной
дробью, то оно представимо в виде бесконечной
десятичной периодической дроби.
г) Если прямая а параллельна прямой b и прямая
Ь лежит в плоскости а , то прямая а параллельна
плоскости а или лежит в плоскости а.
д) Если а || ծ и а\ — параллельная проекция
прямой а на плоскость а и Ь\ — параллельная проекция
прямой b на плоскость а , то а\ || Ь\ или а\
совпадает с Ь\.
2.4. Из элементарных высказываний Р: «Это
число — целое»; Q: «Это число положительное»;
R: «Это число простое» и Տ: «Это число делится
на 3» составлены сложные высказывания:
а) Р V Q; б) р Л Q; В) р V г) Q A 1Q;
д) S o l R ; е) Р / \ R =$֊ 1 S ; ж) Р Д 1R-
з) ( P V Q ) A ( l ^ V 1 S ) ; и) ( P A Q A / ? ) V S ;
к) Р V 1 S ; л) 1(Q V 1Q).
Прочитать все эти высказывания с помощью
слов русского языка. Какие из них истинны или
ложны в силу одной своей структуры?
62
2.5. Определить значения сложных высказываний,
если Р = Л, Q = H и R = И:
а) р Л (Q Л яу, б) ( PAQ) A/ ? ; в) Р =Ц < ? ^ / ? ) ;
г) Р Д Q=>R: д) Р Д Л Q o / ? V ՈՉ; е) ((Я V Q) А Я ) о
^ ( Р A R )W(Q А Պ-
2.6. а) Известно, что импликация P= >Q истинна,
а эквиваленция P o Q ложна. Что можно ск а за
ть об истинностном значении импликации Q=>P?
б) Известно, что эквиваленция P o Q истинна.
Что можно сказать о значениях эквиваленций
1 P < ^Q и 1 Q o P , о значениях импликаций
1 P=$֊Q и Q=$~P?
2.7. Докажите с помощью соответствующих
истинностных таблиц, что формы (5) — (14), приведенные
на с. 58, тавтологии (общезначимы).
2.8. Докажите, что импликация Р(у)=>- 3 хР{х)
общезначима.
2.9. Пятеро ребят играют по таким правилам:
(а) игроки называют быстро, один з а другим,
натуральные числа; после пятого игрока число называет
опять первый и т. д.
(б) если один назвал число, делящееся на 3,
то следующий должен назвать число, делящееся
на 5.
Игрок, нарушивший правила, теряет очко.
Ответьте на следующие вопросы:
1. Здесь изображено начало игры:
Если бы Вы были судьей, какого игрока наказали
бы потерей очка? Почему?
2. Первый продолжает после пятого. Допустим,
что это Вы. Какое число должны Вы назвать, чтобы
не потерять очко?
3. Игрок назвал число 120, не ошибившись при
этом. Может ли он с уверенностью утверждать, что
предшествующий ему назвал: число, делящееся
на 3; число, не делящееся на 3?
63