и Анализ рассуждений средствами алгебры предикатов
Пример 1. Что означает утверждение «Прямые а и b не параллельны»?
Чтобы раскрыть смысл формулы Ø(а || b), надо найти отрицание формулы $a (a Ì a & b Ì a) & (a Ç b = Æ Ú a = b). Имеем Ø(а || b) = Ø($a(a Ì a & b Ì a) & (a Ç b = Æ Ú a = b)) = Ø$a(a Ì a & b Ì a) Ú Ø(a Ç b = Æ Ú a = b)) = Ø$a(a Ì a & b Ì a) Ú a Ç b ¹ Æ & a ¹ b.
Но формула Ø$a(a Ì a & b Ì a), означающая на русском языке «Не существует плоскости, содержащей обе прямые а и b», передает отношение скрещивания прямых, а формула a Ç b ¹ Æ & a ¹ b, переводимая на русский язык предложением «Прямые а и b имеют общие точки, но не совпадают», выражает отношение пересечения прямых.
Таким образом, непараллельность прямых означает их пересечение или скрещивание. Пример 2. Записать на языке алгебры предикатов так называемые «аристотелевские категорические суждения» часто используемые в рассуждениях: «Все S суть Р», «Некоторые S суть Р», «Ни одно S не суть Р», «Некоторые S не суть Р».
Запись приводится в табл. 1.1. В первом столбце этой таблицы указан вид суждения, возникающий при классификации категорических суждений по сложному признаку, учитывающему количество (суждения общие и частные), выражаемое в формулировке кванторными словами «все», «некоторые», и качество (суждения утвердительные и отрицательные), которое передается связками «суть», «не суть», «есть».
В втором столбце дается стандартная словесная формулировка суждений в традиционной логике, а в пятом - их запись на языке алгебры предикатов, при этом S(x) надо понимать как «х обладает свойством S», а Р(х) - как «х обладает свойством Р».
В четвертом столбце показаны отношения между объемами Vs и VР понятий S и Р, если суждения понимаются в наиболее общем виде, когда они дают исчерпывающую информацию только о субъекте. Например, из суждения «Все S суть Р» ясно, что речь идет обо всех S, объем же предиката не определен: идет ли речь обо всех объектах, обладающих свойством P, или только о некоторых; только ли S суть P, или и другие объекты тоже суть Р. Иногда эту неопределенность в отношении объема предиката Р устраняет контекст, иногда это устранение и не требуется. Чтобы подчеркнуть отношение объема VР к объему Vs, используют более определенную формулировку «Все S и не только S суть Р» или «Все S и только они суть Р». Вторая формулировка называется общевыделяющим утвердительным суждением. Первому суждению отвечает диаграмма Венна, представленная на рис. 1, а, второму—на рис. 1, б. С учетом сказанного суждение «Некоторые S суть Р» в общем виде понимается как «Некоторые S и не только они суть Р», чему соответствует диаграмма рис. 2, а, но оно может означать и «Некоторые S и только они суть S» (рис. 2, б). Суждению «Все S не суть Р», понимаемому в общем виде, соответствует диаграмма на рис. 3, а. Этому же суждению в выделяющей форме «Все S и только они не являются Р» отвечает диаграмма на рис. 3, б. Такая формулировка соответствует описанию отношения между противоречащими понятиями, т. е. такими, объемы которых не пересекаются и исчерпывают объем более общего родового понятия. Наконец, суждению «Некоторые S не есть Р» в общем виде соответствует диаграмма на рис. 4, а, а в выделяющем виде «Некоторые S и только они не являются Р» - диаграмма на рис. 4, б. Таблица 3.1
Вид суждения | Запись в традиционной логике словесных формулировок | Запись на языке алгебры предикатов | Отношения между объемами Vs и VР |
Общеутвердительное | Все S суть P | Рис.1 | |
Частноутвердительное | Некоторые S суть Р | Рис. 2 | |
Общеотрицательное | Ни одно S не суть Р | Рис.3 | |
Частноотрицательное | Некоторые S не суть Р | Рис.4 |
Пример 3. Проанализировать рассуждение «Все люди смертны; Сократ - человек; следовательно, Сократ смертен». Первая посылка рассуждения есть общеутвердительное суждение (см. пример 2). Введем обозначения: Ч(х): х - человек; С (х): х - смертен; с - Сократ.
Структура рассуждения:
"х(Ч(х)ÞС(х)), Ч(с) ├ С(с). (3.1)
Пусть следование (3.1) не имеет места. Тогда в некоторой области Do должен существовать набор (a, li(x), lj(x)) для (с, Ч(х), С(х)), при котором будут выполняться следующие условия:
"х(li(x) Þ lj (х)) = И; li(a) = И; lj(a) = Л.
Но тогда импликация li(a) Þ lj (a) имеет значение Л, а значит, по определению квантора общности, "х(li(x) Þ lj (х)) = Л, что противоречит первому условию. Поэтому следование 2.8 верное, а исходное рассуждение правильное.
Пример 4. Проанализировать рассуждение: «Всякая хоккейная команда, могущая победить ЦСКА, - команда высшей лиги. Ни одна команда высшей лиги не может победить ЦСКА. Значит ЦСКА непобедима».
О бозначения: П(x): команда х может победить ЦСКА; В (x): команда х из высшей лиги.
Структура рассуждения:
"х(П(х) Þ В(х)), "х(В(х) Þ ØП(х)) ├ Ø$хП(х).
Устанавливаем, правильно ли полученное следование, методом равносильных преобразований. Пользуясь следствием б) обобщения предложения 1.10, преобразовываем формулу "х(П(х) Þ В(х))&"х(В(х) Þ ØП(х)) Þ Ø$хП(х).
Имеем: "х(П(х) Þ В(х)) & "х(В(х) Þ ØП(х)) Þ Ø$хП(х) = "х((П(х) Þ В(х)) & (В(х) Þ ØП(х))) Þ Ø$хП(х) = Ø("х((ØП(х) Ú В(х)) & (ØВ(х) Ú ØП(х))) & $хП(х)) =
= Ø("х(ØП(х) Ú (В(х) & ØВ(х)))) & $хП(х) = ØЛ = И.
В этих равносильных образованиях дважды использовалось свойство конъюнкции A & ØA= Л и один раз свойство дизъюнкции А Ú Л = А.
Таким образом, исходная формула общезначима, а значит, рассуждение правильное.
Пример 5. Проанализировать рассуждение: «Если бы какая-нибудь команда могла обыграть ЦСКА, то и какая-нибудь команда высшей лиги могла бы. «Динамо» (Минск) - команда высшей лиги, а не может обыграть ЦСКА. Значит, ЦСКА непобедима».
Обозначения: П(х): команда х может победить ЦСКА; В(х): команда х из высшей лиги; д — «Динамо» (Минск).
Структура рассуждения:
" х П(х) Þ $ х (В(х)& П(х)), В(д) & ØП(д) ├ Ø$ х П(х). (3.2)
Замечание. При формализации рассуждений следует учитывать, что в естественном языке во избежание частых повторов одних и тех же слов или словосочетаний широко пользуются синонимическими оборотами. Понятно, что при переводе они должны передаваться одной и той же формулой. В нашем примере такими синонимами являются предикаты «команда х может обыграть ЦСКА» и «команда х может победить ЦСКА», и оба они передаются формулой П(х).
Следование (3.2) неверно. Чтобы это доказать, достаточно указать хотя бы одну интерпретацию формул, выражающих посылки и заключение, в которой посылки будут принимать значение И, а заключение - значение Л. Такой интерпретацией, например, является следующая: D = {1, 2, 3, 4}. В этой интерпретации имеем, после вычислений,
И Þ И, И &ØЛ ├ ØИ, или И, И ├ Л.
Итак, в этой интерпретации обе посылки имеют значение И, а заключение - значение Л. Значит, следование (3.2) неверно, а рассуждение неправильное.
3.9. Введя подходящие одноместные предикаты на соответствующих областях, переведите следующие высказывания, на язык алгебры предикатов:
а) Все рациональные числа действительные.
б) Ни одно рациональное число не является действительным.
в) Некоторые рациональные числа действительные.
г) Некоторые рациональные числа не являются действительными.
Решение. Введем следующие одноместные предикаты
Q (х): «х - рациональное число»;
R (x): «х - действительное число».
Тогда перевод приведенных высказываний на язык алгебры предикатов будет таким:
а)
б)
в)
г)
3.10. Введите одноместные предикаты на соответствующих областях и запишите при их помощи следующие высказывания в виде формул алгебры предикатов:
а) Всякое натуральное число, делящееся на 12, делится на 2, 4 и 6.
б) Жители Швейцарии обязательно владеют или французским, или итальянским, или немецким языком.
в) Функция, непрерывная на отрезке [0, 1], сохраняет знак или принимает нулевое значение.
г) Некоторые змеи ядовиты.
д) Все собаки обладают хорошим обонянием.
3.11. В следующих примерах проделайте то же самое, что и в предыдущей задаче, необязательно ограничиваясь одноместными предикатами:
а) Если a есть корень многочлена от одной переменной с вещественными коэффициентами, то также корень этого многочлена.
б) Между любыми двумя различными точками на прямой лежит по меньшей мере одна точка, с ними не совпадающая.
в) Через две различные точки проходит единственная прямая.
г) Каждый студент выполнил по меньшей мере одну лабораторную работу.
д) Если произведение натуральных чисел делится на простое число, то на него делится по меньшей мере один из сомножителей.
е) Через три точки, не лежащие на одной прямой, проходит единственная плоскость.
ж) Наибольший общий делитель чисел a и b делится на всякий их общий делитель.
з) Для каждого действительного числа х существует такой у, что для каждого z, если сумма z и 1 меньше у, то сумма х и 2 меньше 4.
и) х - простое число.
к) Каждое четное число, большее четырех, является суммой двух простых чисел (гипотеза Гольдбаха).
3.12. Запишите следующие высказывания на языке алгебры предикатов:
а) Существует точно один х, такой, что Р (х).
б) Существуют по меньшей мере два различных х, такие, что Р (х).
в) Существует не более двух х, таких, что Р (х).
г) Существуют точно два различных х, такие, что Р (х).
3.13. Что можно сказать о множестве М, если для любого предиката В (х) на множестве М истинно высказывание ?
3.14. Пусть Р (х) означает «x - простое число», Е (х) означает «х - четное число», О (х) - «х - нечетное число», D (x, y) - «х делит у» или «у делится на х». Переведите на русский язык следующие символические записи на языке алгебры предикатов, учитывая, что переменные х и у пробегают множество натуральных чисел:
а) P ( 7 );
б) E ( 2 ) & P ( 2 );
в) ;
г) ;
д) ;
е) ;
ж) ;
з) ;
и)
Решение. е) Это высказывание можно прочитать так: «Для любого натурального числа х, если оно четное, то для любого натурального числа у, если х делит у, то и у будет четным числом». Мы прочитали это высказывание что называется «с листа», произнесли словами нового языка то, что было написано на старом языке, не вникая в математическую суть утверждения. Вдумаемся теперь в смысл этого утверждения и придадим ему более подобающую русскому языку и более понятную форму: «Всякое натуральное число, делящееся на четное число, само будет четным».
3.15. Переведите на русский язык следующие символические записи, учитывая, что переменные х и у пробегают множество всех действительных чисел:
a) б) .
Сравните логические значения этих высказываний.
Пример 6. Правильно ли следование:
(а) ├
(б) ├ ?
Проверку правильности следования можно проводить и с помощью диаграмм Венна, если посылки и заключения - одноместные предикаты, зависящие от одной переменной. Для категорических суждений, каковыми являются в нашем примере посылки и заключения, отношения между объемами понятий S и Р описаны в примере 2. Этим описанием мы и воспользуемся.
Метод диаграмм Венна для случая с одной посылкой состоит в следующем. Изображаем диаграммами все возможные случаи отношений между объемами понятий S и Р, соответствующие посылке.
Если на каждой из полученных диаграмм заключение оказывается истинным, то следование правильно. Если же хотя бы на одной из диаграмм заключение ложно, то следование неправильно.
(а) Поскольку посылка является отрицательным суждением, то для нее возможны диаграммы, изображенные на рис. 5.
Рис. 5
Ни на одной из этих диаграмм суждение не верно, так как объемы понятий S и Р не имеют общих элементов.
Значит, следование неправильное.
(б) Так как посылка является частноутвердительным суждением, то возможные для нее диаграммы приведены на рис. 6.