Записи на языке алгебры предикатов

 и Анализ рассуждений средствами алгебры предикатов

Пример 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, l_i(x), l_j(x)) для (с, Ч(х), С(х)), при котором будут выполняться следующие условия:

"х(l_i(x) Þ l_j (х)) = И; l_i(a) = И; l_j(a) = Л.

Но тогда импликация l_i(a) Þ l_j (a) имеет значение Л, а значит, по определению квантора общности, "х(l_i(x) Þ l_j (х)) = Л, что противо­речит первому условию. Поэтому следование 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.