Исчисления предикатов и их применение в логическом умозаключении
ПЛАН
1. Предикаты и кванторы.
Понятие формулы исчисления предикатов.
2. Аксиоматическое представление узкого исчисления предикатов.
3. Натуральное узкое исчисление предикатов.
4. Погружение аристотелевской силлогистики в узкое исчисление предикатов.
5. Расширенное исчисление предикатов.
Литература
1. ПРЕДИКАТЫ И КВАНТОРЫ
Исчисление высказываний образует основную часть математической логики. Но оно не составляет достаточного базиса для анализа всех правил рассуждений, потому что оставляет в стороне внутреннюю структуру высказываний. Исчисление предикатов преследует цель расширить наши представления о правилах правильных рассуждений на основании учета внутренней структуры высказываний.
Анализ содержания высказываний таких как ВлРоза-растениеВ», Вла>вВ», ВлТочка А лежит между точками В и СВ» и др. позволяет сделать вывод, что в высказываниях речь идет о том, что предметы, указанные в высказываниях, обладают какими-то свойствами или находятся в каких-то отношениях. Ту часть высказывания, в которой говорится о свойствах или отношениях принято считать предикатом, если имена предметов, которые обладают этими свойствами или отношениями, заменены переменными, принимающими значения из множества самого общего вида. Так что предикат зависит не только от того, о каких свойствах или отношениях идет речь, но и от переменных. Например, из высказывания ВлРоза растениеВ» получается предикат Влх - растениеВ», из высказывания Вла>вВ» - предикат Влх>уВ», а из высказывания ВлТочка А лежит между точками В и СВ» - предикат ВлТочка Х лежит между точками Y и ZВ».
Если обозначить ту часть высказываний, в которой говорится о свойствах или отношениях большими латинскими буквами Р, Q, R, тАж с индексами или без них, а переменные тАУ традиционно малыми латинскими буквами х, y, z ,тАж с индексами или без них, то обозначение предиката примет вид Р (х), Q(х,у), L(х,y,z) и т.д. Число переменных или аргументов, от которых зависит предикат называется -местностью предиката, так что можно говорить об одноместном предикате, двухместном и т.д.
Запись предиката Р (х), Q(х,у) и т.д. ничем не отличается от записи математической функции. Но это не только случайное совпадение. Если подставлять в предикаты имена предметов, эти имена традиционно обозначаются малыми латинскими буквами а, в, с, d,тАж с индексами или без них, то предикаты превращаются в высказывания истинные или ложные. Так если Р (х) считать записью предиката Влх - растениеВ», то, подставляя вместо х имена ВлРозаВ», ВлЛилияВ» получаем истинное высказывание ВлРоза - растениеВ»,ВлЛилия - растениеВ». Если же вместо х подставить имена ВлкаменьВ», ВлжелезоВ» - то ложное высказывание Влкамень -растениеВ», Влжелезо - растениеВ». Обозначив через Вл0В» ВлложьВ», а через Вл1В» ВлистинуВ», получаем из предиката Р (х1, х2, тАж, хп) двухзначную функцию, аргументы которой принимает значение из множества самого общего вида.
При подстановке в предикат, вместо переменных имен предикатов он превращается в высказывание. Так что предикат, скажем предикат Р(х), можно рассматривать записью некоторого множества высказываний, мощность которого равна мощности множества значений аргумента.
В логике наряду с подстановкой, превращающей предикат в высказывание, используются и другая операция, делающая это. Эта операция заключается в связывании переменных, входящих в предикат, кванторами. Применяются кванторы двух видов: квантор общности, его обычно обозначают символом ", и читается он Влдля всехВ», Влдля любогоВ», ВлвсеВ», и квантор существования, он обозначается $ и читается Влсуществует такоеВ». Высказывание "(х) Р(х) читается : ВлДля всех х Р(х)В» или ВлДля любого х Р(х)В». Высказывание $х Р(х) читается: ВлСуществует такое х, что Р(х)В» или ВлДля некоторых х Р(х)В».
Следует еще раз подчеркнуть, что заменять в предикате переменную, к которой относится квантор, на имена предметов, чтобы превратить предикат в высказывание, не имеет смысла. Такая переменная считается связанной. Переменные предикаты, не связанные кванторами, называются свободными.
Если Р (х1, х2, тАж, хп) тАУ -местный предикат и m его переменных (m £n) связываются кванторами, то он превращается в (n-m) местный предикат.
Кванторы общности и существования могут употребляться комбинировано. Порядок употребления кванторов в многоместных предикатов играет существенную роль. Например для двухместного предиката Р(х,у) мы имеем следующие простейшие формы составления: "х "у Р(х,у) тАУ читать эту формулу следует так: ВлДля всех х и для всех у имеет место отношение Р(х,у)В».
$х $у Р(х,у) ВлСуществует некоторое х и некоторое у, для которых имеет место Р(х,у)В».
$х"у Р(х,у) тАУ ВлСуществует такое х, которое к каждому у находится в отношении Р(х,у)В».
"х$у Р(х,у) тАУ ВлДля каждого х существует некоторое у, такое, что имеет место Р(х,у)В».
В выражении "х "у Р(х,у) знаки общности могут быть переставлены без изменения смысла высказывания. То же самое имеет место в выражении $х $у Р(х,у).
Напротив, в выражении "х$у Р(х,у) порядок следования знаков"хи $уиграет существенную роль. Например, высказывание "х$у (х<у) тАУ ВлДля каждого числа х существует число у такое, что х меньше у тАУ истинноВ». Но если мы переставим в этом высказывании знаки "хи $у, то получим высказывание $у "х (х<у) тАУ ВлСуществует число у, которое больше любого числа хВ», - которое ложно. Так что порядок следования в комбинациях кванторов общности и существования, и обратно, перед предикатом играет важную роль.
2. ПОНЯТИЕ ФОРМУЛЫ ИiИСЛЕНИЯ ПРЕДИКАТОВ
Как уже говорилось, запись предиката можно рассматривать как множество высказываний. Из предикатов получаются высказывания при замене (подстановке) переменных постоянными или посредством связывания их кванторами. Так что предикаты можно соединять между собой и с высказываниями теми же связками Вл¯В», ВлÙВ», ВлÚВ», ВлВоВ», ВлºВ», которые приняты в исчислении высказываний, получая формулы исчисления предикатов. Более точно понятие формулы исчисления предикатов (коротко формулы) определяется следующим образом:
1. Переменное высказывание есть формула.
2. Предикаты являются формулами.
3. 
Если j есть формула, то j - формула.
4. Если j и y какие-то формулы, причем одна и та же переменная не встречается связной внутри одной формулы и свободной, внутри другой, то jÙy, jÚy, jВоy, jºy суть формулы.
5. Если j (х) означает какую-то формулу, в которой переменная х выступает в качестве свободной переменной, то "хj (х) и $хj (х) суть формулы. То же самое справедливо для других свободных переменных.
Значит, согласно пункту 5. Одна и та же переменная не встречается в формуле одновременно в свободной и связанной форме.
Для экономии скобок вводятся следующие соглашения: знаки Ù, Ú, Во, º разделяют выражение сильнее, чем знаки общности и существования. Например, выражение "х F(х) Ù р, является более простым способом записи выражения ("х F(х)) Ù р. Прежнее соглашение, что знак Ù связывает теснее, чем знаки Ú, Во,º, знак Ú - связывает теснее, чем знаки Воиº, знак Во теснее, чем º остается в силе.
Далее, ко всякому встречающемуся в формуле знаку общности или существования принадлежит часть формулы, к которой он относится. Эту часть формулы заключают в скобки, помещая перед ними соответствующий знак. Так, в формуле "х (F(х) Во$у G(у)) область действия знака" простирается до конца формулы. В формуле "х F(х) Во$у G(у) тАУ лишь до знака Во.
Дальнейшее уменьшение количества скобок достигается с помощью следующего правила: если несколько знаков общности или существования следуют непосредственно друг за другом, не будучи разделенными скобками, то это всегда нужно понимать так, что, их область действия простирается до одного и того же места. Например, выражение:
"х$у"z (Р(х,у,z) Ù Q(у,z))Ù R(u) есть более простая запись выражения
"х ($у ("z (Р(х,у,z) Ù Q(у,z))))Ù R(u).
Для удобства обозначений формул принимаются еще и следующие соглашения:
Вместо Р(х) пишут просто `Р(х);
Вместо "х Р(х) пишут просто`"х Р(х);
Вместо $х Р(х) пишут просто `$х Р(х).
Из самого смысла знаков общности и существования получаются следующие эквивалентности:
$х Р(х) º`"х`Р(х) (33)
$х`Р(х) º`"х Р(х) (34)
`$х Р(х) º"х`Р(х) (35)
`$х`Р(х) º"х Р(х) (36)
На основании этих содержательных соотношений можно заменять квантор существования квантором общности и наоборот, а значит, при построении исчисления предикатов обойтись лишь одним квантором.
Проиллюстрируем представления в символической форме высказываний. Предполагая, что переменные пробегают множество людей, применим следующие соглашения
М(х): х есть мужчина;
V (х): х есть женщина;
J (х,у): х моложе, чем у;
R (х,у): х есть ребенок у;
G (х,у): х состоит в браке с у;
K (х): х живет в Киеве;
L (х): х живет в Луганске.
Представим в символической форме следующее высказывание: ВлКаждый человек имеет отца и матьВ». Оно будет иметь вид:
("х ($у (М(у) Ù R (х,у)) Ù$z (V (z) Ù R (х, z)))).
3. АКСИОМАТИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ УЗКОГО ИiИСЛЕНИЯ ПРЕДИКАТОВ
В исчислении высказываний проблема разрешимости состояла в решении вопроса, является ли данная сложная функция высказывания, представляемая формулой исчисления высказываний, тождественно истинной, выполнимой или тождественно ложной. В этом исчислении метод таблиц и метод приведения к совершенным нормальным формам давал эффективный способ решения этого вопроса. И это потому, что каждому атомарному высказыванию приписывалось лишь два значения.
В узком исчислении предикатов проблема разрешимости состоит в постановке аналогичного вопроса: является ли сложная, функция, которая представляется формулой исчисления предикатов тождественно истинной при любых значениях переменных и любых предикатах, выполнимой, или тождественно ложной. Воспользоваться методом таблиц в узком исчислении предикатов уже нельзя. Например, по определению высказывание"хР(х) эквивалентно конъюнкции высказываний Р(а) Ù Р(в) Ù Р(с) ÙтАж Эта конъюнкция истинна, если и только если истинны все высказывания Р(а), Р(в), тАж Однако в тех случаях, когда переменная х в Р(х) пробегает бесконечную предметную область, установить истинное значение каждого из высказываний Р(а), Р(в) и т.д. не всегда удается. А это значит, что вопрос об истинностном значении формулы "хР(х) или формулы, содержащей "хР(х) может оставаться открытым.
Итак, проблема разрешимости в исчислении предикатов представляет собой очень трудную и в целом отнюдь не решенную проблему. И даже можно считать безнадежными попытки дать ее полное решение. Но в виду центрального значения проблемы большой интерес представляют попытки дать ее решение хотя бы для возможно более широких классов формул. Один из таких классов представляется аксиоматическим представлением исчисления предикатов.
Существуют разные эквивалентные системы аксиом узкого исчисления предикатов. Одна из них, предложенная Гильбертом в качестве аксиом содержит четыре аксиомы исчисления высказываний:
a) р Ú р Во р
b) р Во рÚq
c) рÚq ВоqÚ р
d) (р Во q) Во( rÚ рВо rÚq)
К этим аксиомам присоединяются еще две аксиомы для кванторов" и $
e) "х F(х) ВоF(у)
f) F(у) Во$х F(х)
Первая из этих аксиом читается так: ВлЕсли предикат F выполняется для всех х, то он выполняется также для любого уВ». Вторая аксиома читается так: ВлЕсли предикат F выполняется для какого-то у, то существует х, для которого выполняется FВ».
Для получения новых формул из аксиом, равно как уже из выведенных формул используются правила и формулы исчисления высказываний, а также следующие правила.
a) Правило подстановки.
a1) В формуле переменную, обозначающую высказывание, можно заменить любой формулой при условии, что эта замена происходит одновременно во всех местах, в которых встречается данная переменная, обозначающая высказывание, и что при этом вообще снова получается формула. Замена допустима лишь в том случае, если подставляемая формула не содержит предметной переменной, встречающейся в исходной формуле в связанном виде.
a2) Свободная предметная переменная может быть заменена другой предметной переменной при условии, что замена происходит одновременно во всех местах в которых встречается эта свободная переменная. Подставляемая переменная не должна, кроме того, встречаться где-либо связанной в первоначальной формуле.
a3) В формуле j(F) содержащей переменный предикат F от предметных переменных он может быть заменен формулой y содержащей по меньшей мере свободных предметных переменных если свободные предметные переменные в y не встречаются в j в связанном виде и если в результате получается формула.
b) Схема заключения
Из формул вида j и jВоy, получаем новую формулу y.
g)Схема для кванторов
g1) Пусть формула jВоy такова, что j не содержит предметную переменную х, а формула y содержит ее. Тогда, если формула jВоy выводима, то выводима и формула jВо"х y(х).
g2) При тех же самых условиях относительно вида формул j и y получаем из y(х) Воj новую формулу $х y(х) Воj.
d) Правила переименования связанных переменных
Связанную предметную переменную, встречающуюся в формуле, можно заменить другой связанной переменной. Эту замену следует производить во всех местах области действия и в соответствующем знаке общности и существования. При этом предполагается, что после такой замены вообще снова получается формула. Если переменная, которая должна быть заменена, встречается одновременно в нескольких кванторах (с различными областями действия), то замену следует производить только относительно одной области.
Рассмотрим теперь несколько примеров вывода формул из аксиом a), b), c), d), e), f).
Докажем формулу p→"x(pÚF(x))
Доказательство:
р Во рÚq (аксиома в)
р Во рÚ F(х) (посредством подстановки)
р Во"х (рÚ F(х)) (по правилу g)
Докажем формулу:
"х F(х) Во$х F(х)
Доказательство:
"х F(х) Во F(у) (аксиома e)
F(у) Во$х F(х) (аксиома f)
Подставим теперь в формулу (29) (р Воq) Во((rВор) Во( rВоq)) вместо р выражение F(у), вместо q выражение$х F(х), вместо r выражение "х F(х). Получаем: (F(у) Во$х F(х)) Во("х F(х) ВоF(у)) Во ("х F(х) Во$х F(х)).
Применяя, правило 5 с учетом этой формулы и двух приведенных выше формул получаем: "х F(х) Во$х F(х).
4. НАТУРАЛЬНОЕ УЗКОЕ ИiИСЛЕНИЕ ПРЕДИКАТОВ
В натуральном узком исчислении предикатов определение формулы исчисления предикатов такое же, как и в аксиоматическом представлении узкого исчисления предикатов.
Основными правилами вывода в натуральном исчислении предикатов являются:
1. Все основные правила вывода исчисления высказываний.
2. Правила введения и удаления кванторов общности и существования.
Для записи схем правил введения и удаления кванторов общности и существования можно пользоваться символом j (х/w), обозначающем выражение, полученное изj подстановкой вместо именной переменной х выражения w при выполнении следующих условий:
1) В выражении j замена переменной х производится лишь в тех местах, где она свободна. Если х входит в j несколько раз, то столько же раз она заменяется выражением w.
2) Если в j переменная х находится в области действия квантора, связывающую предметную переменную z, то вместо х не подставляется выражение содержащее z в качестве свободной переменной. Короче говоря, подстановку следует производить так, чтобы свободные переменные подставляемого выражения не оказались связанными в выражении, полученном в результате подстановки.
Если это правило нарушается, то можно получить ложное высказывание. Так, в выражении $m (m>n) переменная m связана, а переменная свободна. Если мы вместо подставим m+1, то получим ложное выражение: $m (m> m+1).
Правило удаление квантора общности:
У"
.
Примером рассуждения по правилу У":
.
Правило введения квантора общности:
В"
применяется лишь при условии, что переменная х не входит в качестве свободной в допущение косвенного доказательства.
Примером рассуждения по правилу
В": 
.
Правило введение квантора существования :
В$
.
Примером рассуждения по правилу В$:
2 тАУ четное и простое число
$х (х тАУ четное и простое).
Правило удаления квантора существования:
У$
,
где у1, тАжуn- все свободные именные переменные выражения j, отличные от переменной х, а выражение j(х/σ у1, тАжуn) тАУ результат подстановки в выражение j постоянной σ, отмеченной индексами у1, тАжуnвместо х. Заметим, что переменные у1, тАжуn, входящие в выражение σу1, тАжуn рассматриваются в качестве свободных. Поэтому выражение σу1, тАжуn можно подставлять в выражение j вместо переменной х тогда, и только тогда, когда эта переменная не находится в области действия квантора, связывающего переменные у1, тАжуп.
В качестве примеров вывода формул в натуральном узком исчислении предикатов рассмотрим вывод аксиом e),f), а также формул (37), (38).
е) "х F(х)Во F(у)
Доказательство:
1) "х F(х) {Допущение}
F(у) {У": 1}
f) F(у) Во$х F(х)
Доказательство:
1) F(у) {Допущение}
$х F(х) {В$: 1}
Докажем формулу (37):
рВо"х (рÚ F(х))
Доказательство:
1) р {Допущение}
2) рÚ F(х) {ВД: 1}
"х рÚ F(х) {В": 2}
Докажем теперь формулу (38):
"х F(х) Во$х F(х)
Доказательство:
1) "х F(х) {Допущение}
2) F(у) {У": 1}
$х F(х) {В$: 2}
5. ПОГРУЖЕНИЕ АРИСТОТЕЛЕВСКОЙ СИЛЛОГИСТИКИ В УЗКОЕ ИiИСЛЕНИЕ ПРЕДИКАТОВ
В логике Аристотеля и его последователей вплоть до конца ХРЖХ столетия основная роль приписывалась четырем видам суждений, называемым категорическими А, Е, I, О. Символические суждение А ВлВсе S суть РВ» записывается так:
"х (S(х) ВоР(х)) (39)
Суждение Е ВлНикакое S не есть РВ» :
`$х (S(х) Ù Р(х)) (40) или по другому "х (S(х) Во`R(х)) (401 )
Суждение I ВлНекоторые S суть РВ»:
$х (S(х) Ù Р(х)) (41)
Суждение О ВлНекоторые S не суть РВ»:
$х (S(х) Ù`R(х)) (42)
Докажем некоторые модусы непосредственных умозаключений.
Модус АSРВо ISР, пользуясь (39)-(42) запишем так:
"х (S(х) ВоР(х)) Во$х (S(х) Ù Р(х)) (43)
Доказательство:
1) "х ( S(х) ВоР(х)) {Допущение}
2) S(у) ВоР(у) {У": 1}
3) S(у) {Допущение}
4) Р(у) {ПО: 2,3}
5) S(у) ÙР(у) {ВК: 3,4}
$х (S(х) Ù Р(х)) {В$: 5}
Модус ЕSРВоОSР опять-таки с помощью (39-42) записываем так:
"х (S(х) Во`R(х)) Во$х (S(х) Ù`R(х)) (44)
Доказательство:
1) "х ( Sх Во`R(х)) {Допущение}
2) "х ( S(х) Во`R(х)) Во(S(у) Во`R(у)) {подстановка в аксиому е)}
3) S(у) Во`R(у) {ПО: 1,2}
4) S(у) {Допущение}
5) `R(у) {ПО: 3,4}
6) S(у) Ù `R(у) {ВК: 4,5}
$х S(х) Ù`R(х) {В$: 6}
Модус АSРВо IРS записываем в виде:
"х (Sх ВоR(х)) Во$х (S(х) ÙR(х)) (45)
Доказательство:
1) "х ( S(х) ВоR(х)) {Допущение}
2) "х ( S(х) ВоR(х)) Во(S(у) ВоR(у)) {подстановка в аксиому е)}
3) S(у) ВоR(у) {ПО: 1,2}
4) S(у) {Допущение}
5) R(у) {ПО: 3,4}
6) S(у) ÙR(у) {ВК: 4,5}
$х S(х) ÙR(х) {В$: 6}
Аналогично записываются и доказываются остальные модусы непосредственных умозаключений.
Докажем теперь справедливость некоторых модусов силлогизмов.
Используя (39)-(42), записываем первый модус первой фигуры силлогизма АМРÙАSМВоАSР так:
"х (М(х)ВоР(х)) Ù"х (S(х) → М(х)) →"х(S(х) →Р(х)) (46)
Доказательство:
1) "х (М(х)ВоР(х)) Ù "х (S(х) → М(х)) {Допущение}
2) "х (М(х)ВоР(х)) {УК: 1}
3) "х (S(х) → М(х)) {УК: 1}
4) М(у)ВоР(у) {У": 2}
5) S(у) Во М(у) {У": 3}
6) S(у) Во Р(у) {(29): 4,5}
"х(S(х) →Р(х)) {В": 6}
Докажем справедливость первого модуса второй фигуры силлогизма
ЕРМÙ АSМ→ЕSР.
Используя (39)-(42), записываем его в виде:
"х (Р(х) Во`М(х)) Ù"х (S(х) → М(х)) →"х(S(х) →`Р(х)) (47)
Доказательство:
1) "х (Р(х) Во`М(х)) Ù "х (S(х) → М(х)) {Допущение}
2) "х (Р(х) Во`М(х)) {УК: 1}
3) "х (S(х) → М(х)) {УК: 1}
4) Р(у)Во`М(у) {У": 2}
5) S_ (у) Во М(у) {У": 3}
6) `М(у)Во`Р(у) {(30): 4}
7) М(у)Во`Р(у) {(9): 6}
8) S (у)Во`Р(у) {(29): 5,7}
"х(S(х) →`Р(х)) {В": 8}
Наконец, докажем первый модус третьей фигуры силлогизма
АМРÙАSМ→РЖSР.
Используя (39)-(42), записываем его в виде:
"х (М(х)ВоР(х)) Ù"х (М(х)→S(х)) →$х(S(х) Ù Р(х))
Доказательство:
1) "х (М(х)ВоР(х)) Ù "х (М(х)→S(х)) {Допущение}
2) "х (М(х)ВоР(х)) {УК: 1}
3) "х (М(х)→S(х)) {УК: 1}
4) М(у)Во Р(у) {У": 2}
5) М(у)Во S (у) {У": 3}
6) М(у) {Допущение}
7) S (у) {ПО: 5,6}
8) Р(у) {ПО: 4,5}
9) S (у) ÙР(у) {ВК: 7,8}
$х(S(х) Ù Р(х)) {В$: 9}
6. РАСШИРЕННОЕ ИiИСЛЕНИЕ ПРЕДИКАТОВ
В узком исчислении предикатов переменные являются пропозициональные переменные, именные переменные и переменные представляющие предикаты. В формулах этого исчисления кванторы связывают только именные переменные. Это исчисление явно не завершено. Например, формула "R"х (Р(х)ÚР(х)) выполняется для любого предиката Р. значит, мы должны располагать квантором общности для предиката. С другой стороны формула "хF(х) явно не общезначима. Но она выполняется для некоторых F. Чтобы выразить это мы должны располагать и кванторами существования для предиката, и выполнимость этой формулы записать так: $F "хF(х).
Исчисление предикатов, получаемое посредством применения квантора общности и квантора существования не только к предметным переменным, но и к переменным предикатам, принято называть расширенным исчислением предикатов. Очевидно, что все правила узкого исчисления предикатов распространяются как на расширенное исчисление предикатов, так и на любую систему, получаемую присоединением к расширенному исчислению предикатов каких угодно аксиом и новых правил образования истинных формул. Справедливость этого ясна, так как все аксиомы и правила вывода исчисления предикатов, на основании которых выведены производные правила, во всех случаях сохраняются.
Смешение символов для разных формул не может произойти, так как из контекста, обычно, видно, в каком формализме выводится та или иная формула.
Расширенное исчисление предикатов и полученные из него некоторые системы посредством добавления к его аксиомам аксиом специальной структуры дали возможность получить очень важные результаты в теории множеств, геометрии, арифметике, теории алгоритмов и во многих других областях. Однако как показали К. Гедель и др., проблема разрешимости в таких системах становится очень запутанной. И все дело в том, что, формализуя словесный оборот ВлвсеВ» с помощью квантора " мы пытаемся заключить бесконечное в конечные рамки. Но при этом мы можем рассчитывать лишь на частный успех.
Алгоритмическая неразрешимость расширенного исчисления предикатов, формализованной теории множеств, формализованной арифметики и других формальных систем лишний раз доказывает, что математика не является нанизыванием силлогизмов в направлении, избранном наугад. Алгоритмическая неразрешимость показывает, что математическое исследование включает в себя интуицию, догадку, воображение и другие элементы творчества!
Литература
1. Логическое суждение. Руфулаев О.Н. К. тАУ 2005 г.
2. Логика тАУ исскуство мышления. Тимирязев А.К.тАУ К. 2000 г.
3. Философия и жизнь тАУ журнал- К. 2004 г.
4. История логики и мышления тАУ Касинов В.И. 1999.
5. Логика и человек тАУ М. 2000.
6. Философия жизни. Матюшенко В.М. тАУ Москва тАУ 2003 г.
7. Философия бытия. Марикова А.В. тАУ К. 2000 г.
Вместе с этим смотрят:
10 способов решения квадратных уравнений
РЖнварiантнi пiдпростори. Власнi вектори i власнi значення лiнiйного оператора
РЖнженерна графiка
РЖнтегральнi характеристики векторних полiв
РЖнтерполювання функцiй