CC BY
27МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
Тюряхин Алексей Сергеевич
кандидат технических наук, доцент, кафедра прикладной механики, Федеральное государственное бюджетное образовательное учреждение высшего образования «Национальный исследовательский Мордовский государственный университет им. Н. П. Огарева», г. Саранск alex. tjur@mail. ru
Манухов Владимир Федорович
кандидат технических наук, заведующий кафедрой геодезии, картографии и геоинформатики, Федеральное государственное бюджетное образовательное учреждение высшего образования «Национальный исследовательский Мордовский государственный университет им. Н. П. Огарева», г. Саранск manuhov@mail. ru
Нуянзин Владимир Александрович
магистрант, Мордовский государственный педагогический институт им.М. Е. Евсевьева, г. Саранск vovchik1994127@gmail. com
Дубкова Татьяна Павловна
менеджер-воспитатель, Муниципальное казенное дошкольное образовательное учреждение № 21, г. Новосибирск gkgm rsu @m ail. ru
УДК 164.1
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
ФИГУРНОЕ ПРЕДСТАВЛЕНИЕ ТАБЛИЦ ИСТИННОСТИ В ЛОГИКЕ ВЫСКАЗЫВАНИЙ
Столбцам таблиц истинности, составленным из 4 ячеек, содержащих значения «истина» или «ложь», придана форма ромба, состоящего из 4 квадратов. В итоге таблицы истинности из одного или двух простых высказываний построенные по формулам логики высказываний сведены к изображению 16 выразительных фигур значений истинности, которые легко «схватываются» и запоминаются. Эти фигуры благодаря наглядности существенно упрощают выполнение многих операций логического исчисления и способствуют лучшему усвоению принципов и законов логики высказываний.
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
Благодаря фигурам истинности обозначен образ возможного пути сближения постулатов учения о слоях мышления с правилами и принципами логики высказываний.
Ключевые слова: логика высказываний; таблицы и фигуры истинности; учение о слоях мышления.
1. Предмет исследования. Один из вариантов «учения о слоях» мышления [14, с. 472], интенсивно разрабатываемый авторами работ [1, 9, 10, 12, 13], представлен конкретной формой слоев, имеющих вид плоского бесконечного клина. Применив это учение к диалектике бытия и, опираясь при этом на труды А. Ф. Лосева [6, 7, 8], авторы работ [1, 13] получили инвариант онтологических категорий, интерпретируемых символами названных слоев. В качестве символов слоя мышления авторы названных работ рассматривают ромбические области, возникающие при вершинах клиновых слоев при их полагании.
На первых же шагах полагания слоев (мышления бытия) при их вершинах образуется ромбическая фигура, составленная из 4 символических квадратных ячеек. Такая фигура из 4 ячеек дает графически наглядный образ инварианта категориального бытия. Более того, в работах [10, 12, 13] их авторы используют и логический инвариант, построенный ими на основе геометрической интуиции. Логический инвариант накладывается на онтологический инвариант также исходя из чисто интуитивных суждений, и по этой причине он вызывает некоторое сомнение в его правомерности.
Тем не менее, при интуитивном осмыслении данного инварианта непроизвольно возникает ассоциация с таблицами истинности, которые используются в логике высказываний. В этих таблицах рассматриваются логические связи и отношения значений истинности, содержащихся в 4 ячейках каждого из столбцов. Названная ассоциация позволяет поставить задачу: выявить аналогию логических связей между ячейками в столбцах таблиц истинности и в ромбических ячейках их фигурного представления. Результаты решения этой задачи позволят не только разрешить упомянутое выше сомнение, но и дать ответы на другие вопросы, которые появятся в процессе решения самой задачи.
2. Таблицы истинности. В логике двухзначных высказываний употребляются особые символы л, v, o, vv и др., именуемые соответственно: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, дизъюнкция строгая и др. Они служат для получения сложных высказываний из высказываний простых и менее сложных. Простое высказывание не включает в себя других высказываний [3]. Оценка двухзначных высказываний именуется истинностным значением. При этом простое
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
высказывание является либо истинным, либо ложным, а значение сложного высказывания зависит только от значений истинности (ЗИ) входящих в него простых высказываний и от характера их логических связок, обозначаемых приведенными выше символами. Например, сложное высказывание, образованное с помощью отрицания «не», истинно, если только исходное высказывание ложно. Формулам логики высказываний, образованным из пропозициональных переменных (p, q) и из связок, в естественном языке соответствуют предложения. Кроме того, каждой формуле можно поставить в соответствие таблицу истинности, указывающую на зависимость истинностного значения формулы от ЗИ входящих в нее переменных. Если «истинное» значение обозначим цифрой «1», а «ложное» - цифрой «0», то сводную таблицу истинности, составленную из 2 простых и 6 сложных высказываний, можно представить, например, в виде табл. 1.
Таблица 1. Значения истинности в ячейках столбцов из 8 высказываний
№ Р q -q pAq pwq p^ q p^q
строки 1 2 3 4 5 6 7 8
1 1 1 0 0 1 1 1 1
2 1 0 0 1 0 1 0 0
3 0 1 1 0 0 1 1 0
4 0 0 1 1 0 0 1 1
В столбцах таблицы набраны значения истинности высказываний: простых p и q (входные столбцы 1 и 2), сложные отрицательные ~p и ~q„ образованные из одного простого (столбцы 3 и 4), и сложные, образованные из двух простых (столбцы 5 - 8). ЗИ высказываний p и q, входящих в формулы сложных высказываний, точно соответствуют их заданным значениям во входных столбцах. Феномен таблиц истинности проявляется в том, что алгоритм их использования можно применять как разрешающую процедуру не только к формулам логики высказываний, но и для одноместных предикатных форм, для категорического силлогизма и для некоторых других дедуктивных теорий [3].
Истинностные значения «1» и «0» в табл. 1 размещаются в ячейках на пересечениях строк и столбцов. Столбцы составлены из наборов четырех ЗИ. Типовые наборы входных столбцов представлены значениями p и q, наиболее часто встречающимися в учебной и справочной литературе по логике [2-5]. Поэтому согласно правилу о соблюдении единой последовательности наборов ЗИ во входных столбцах мы не будем изменять их содержания.
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
Обусловленность и доказательность таблиц истинности постигается при непосредственном знакомстве с ними. Однако при пользовании таблицами возникают вопросы. Например, как и в чем проявляется:
1) различие и тождество наборов ЗИ во входных столбцах;
2)целостное единство наборов ЗИ в названных столбцах. Удовлетворительных ответов на поставленные и другие вопросы авторы данной работы в литературе по логике [2-5 и др.] не нашли и поэтому предлагают свою версию ответов на них. Кроме того, скучные переборы ЗИ в столбцах таблиц плохо запоминаются. Для большей их наглядности и в целях решения поставленной задачи переформатируем табл. 1.
3. Фигуры значений истинности. Переход от таблиц истинности (см. табл. 1) к фигурам истинности выполним в два этапа. Сначала перестроим табл. 1 в новую таблицу того же содержания. С этой целью совместим ячейки 2-й и 3-й строк в одной строке и раздвинем эти ячейки во всех столбцах таблицы (влево и вправо). В результате получим таблицу, в каждом столбце которой образовалась фигура из 4 ячеек с ромбическим расположением в них значений истинности (табл. 2). При этом левые ячейки фигур содержат значения 2-й строки табл. 1, правые - значения 3-й строки.
Таблица 2. Фигурное расположение значений истинности в столбцах
№ строки в табл. 1. Р q -q PAq pvq p^ q p^q
1 2 3 4 5 6 7 8
1 1 1 0 0 1 1 1 1
2 3 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 0
4 0 0 1 1 0 0 1 1
Таким образом, в табл. 1 и 2 значения истинности:
1) одинаковые в ячейках 1-х строк;
2) переходят из ячеек строки 4 табл. 1 в нижние ячейки ромбических фигур табл. 2;
3) переходят из ячеек строк 2 и 3 табл. 1 в левую и правую ячейки соответствующих фигур табл. 2.
Если теперь ячейкам в столбцах табл. 2 придадим форму квадратного ромба, то в каждом из ее столбцов получим изображение ромбической фигуры (рис. 1), составленной из 4 ромбических ячеек. Данная фигура закрепляет в памяти зрительный образ содержания ЗИ в ячейках фигурных столбцов табл. 2.
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
Рис. 1. Ромбическая фигура из 4 ячеек в столбцах табл. 2
На 2-м этапе (форматирования таблиц) совместим фигурные ячейки (см. рис. 1) с их фигурным содержанием (см. табл. 2). В итоге мы должны получить выразительный облик фигур значений истинности (фигур ЗИ, или, кратко, ФЗИ) в каждом из столбцов табл. 2. Но эти фигуры удобнее изображать не в табличной форме, а отдельным рисунком одной фигуры или группы из двух и более фигур (в зависимости от контекста излагаемого материала). Поэтому в соответствии с содержанием табл. 1 и 2 мы сначала рассмотрим фигурное построение ЗИ для двух первых пар высказываний в столбцах табл. 2 (рис. 2).
и ,)
Рис. 2. Две пары фигур ЗИ: а - фигуры 1 и 2, соответствующие формуламр и д; б - фигуры 3 и 4, построенные по формулам ~р и
Анализ рисунка показывает, что:
1) в каждой из двух пар высказываний две фигуры, расположенные рядом, имеют ось зеркальной симметрии;
2) факт симметрии свидетельствует о наличии такой связи двух наборов ЗИ в столбцах 1 -й пары (рис. 2, а), которая позволяет их условно называть «входными» утвердительными высказываниями табл. 1;
3) наборы ЗИ 2-й пары в столбцах 3 и 4 (рис. 2, б) могут играть роль «промежуточных» входных столбцов для других таблиц в случаях развития (расширения содержания) табл. 1.
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
ISSN: 2500-4212. Свидетельство о регистрации СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 Научное обозрение. Раздел I. Научные исследования. 2018. №2. ID 104
4. Фигуры 1-й и 2-й групп сложных высказываний. В табл. 1 и 2 входными являются два первых столбца, ЗИ в которых представлены фигурами p и q (см. рис. 2, а). Мысленно совмещая эти две фигуры в одну, мы получим в ячейках последней четыре комбинации из ЗИ, которые в зависимости от характера логических связей в столбцах 5-8, позволяют построить 1-ю группу из 4 фигур ЗИ для сложных высказываний: конъюнкции, дизъюнкции, импликации и эквиваленции (рис. 3).
Рис. 3. Фигуры ЗИ: а - фигура 5 (конъюнкция); б - фигура 6 (дизъюнкция); в - фигура 7
(импликация); г - фигура 8 (эквиваленция)
Затем вместо высказыванийр и д (см. рис. 2, а) во входных столбцах новых таблиц истинности выберем их отрицания ~р и (см. рис. 2, б). Далее по аналогии с рис. 3 построим 2-ю группу фигур ЗИ для других 4 сложных высказываний (рис. 4).
Сопоставив фигуры 5, 8 и 9, осуществим замену формулы эквиваленции (род) дизъюнктивной нормальной формой высказывания:
(рлдМ~рл~дХ (1)
т. е. дизъюнкцией, «членами которой служат простые конъюнкции» [2].
Далее, если сопоставим фигуры 6, 8 и 10, то также легко можно заменить формулу отрицания эквиваленции (строгой дизъюнкции) конъюнктивной нормальной формой высказывания
(pwq)A(~pw~q), (2)
в котором членами конъюнкции служат две простые дизъюнкции. Формуле (2) соответствует фигура 13 (см. п. 5, где она будет построена другим способом).
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
ISSN: 2500-4212. Свидетельство о регистрации СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 Научное обозрение. Раздел I. Научные исследования. 2018. №2. ID 104
Рис. 4. Фигуры ЗИ: а - фигура 9 (антиконъюнкция ~pA~q); б - фигура 10 (антидизъюнкция ~pv~q); в - фигура 11 (антиимпликация г - фигура
8 (эквиваленция
Отметим, что во 2-й группе сложных высказываний фигура, представленная формулой -р^-ц (рис. 4, г), повторяет фигуру 8, представленную формулойр^д (рис. 3, г). Следовательно, всего пока построено только 11 различных фигур ЗИ (см. рис. 2 - 4).
5. Фигуры 3-й и 4-й групп сложных высказываний. Далее, следуя Бернайсу [2], высказывания р, д и их отрицания ~р, -д будем называть также простыми, или элементарными, так как они являются функциями одного аргумента. Но из четырех простых высказываний можно скомбинировать не 2, а 6 пар исходных высказываний:
(р., Ф; (-р. —0; (р. —0; (-р. Ф; (р. -р); (д. —0. (3)
В таком случае первое выражение (3) можно назвать исходной парой высказываний, второе - парой простых отрицательных высказываний, а третье и четвертое - парами простых смешанных высказываний. Фигуры ЗИ для 1-й и 2-й пар (утвердительных и отрицательных) уже построены (см. рис. 2, а и б). Теперь для продолжения построения ФЗИ из выражений (3) выберем 3-ю и 4-ю пары смешанных высказываний (р, -д) и (-р, д). Затем аналогично рис. 2, но с одним отличием изобразим фигуры ЗИ для двух названных пар простых высказываний (рис. 5).
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
Рис. 5. Фигуры ЗИ двух смешанных пар: а - фигуры 1 и 4, построенные по формулам р и б - фигуры 3 и 2, построенные по формулам ~р и q
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
Отличие названных пар фигур заключается в том, что в каждой паре две фигуры расположены не рядом (см. рис. 2), а друг под другом. В этом, кстати, проявляется еще одно из преимуществ использования фигур ЗИ вместо таблиц истинности, в которых столбцы расположены в одном уровне и «привязаны» к строкам таблиц. В этом отношении фигуры ЗИ обладают большей свободой и маневренностью.
Но, наряду с отличием, фигуры первых 4 пар исходных высказываний (3) тождественны в том, что фигуры каждой из этих пар имеют ось симметрии. Различие лишь в том, что если для фигур 1-й и 2-й пар эта ось расположена параллельно вертикальным диагоналям названных фигур (см. рис. 2), то для фигур 3-й и 4-й пар ось параллельна их горизонтальным диагоналям (см. рис. 5).
Исходная пара, представленная фигурами 1 и 4 (см. рис. 5, а), позволяет записать формулы и построить фигуры ЗИ для 3-й группы сложных высказываний: конъюнкции рл^, дизъюнкции pv~q, импликации р^^ и эквиваленции р^^ (рис. 6). При этом третья фигура (рис. 6, в) совпадает с фигурой антидизъюнкции (рис. 4, б), а фигура эквиваленции р^^ (рис. 6, г) будет адекватной фигуре и формуле строгой дизъюнкции (pvvq).
Аналогично фигуры 3 и 2 (см. рис. 5, б) позволяют построить фигуры ЗИ для 4-й группы сложных высказываний: конъюнкции ~pлq„ дизъюнкции ~pvq„ импликации ~p^■q и эквиваленции ~p■^■q (рис. 7). При этом фигура, построенная по формуле ~pvq (рис. 7, б), повторяет фигуру импликации (см. рис. 3, в), а фигура, адекватная формуле ~p^■q (рис. 7. в), повторяет фигуру дизъюнкции (см. рис. 3, б). Фигура же, соответствующая эквиваленции ~p■^■q (рис. 7, г), повторяет фигуру эквиваленциир^^ (см. рис. 6, г).
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
ISSN: 2500-4212. Свидетельство о регистрации СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 Научное обозрение. Раздел I. Научные исследования. 2018. №2. ID 104
Рис. 6. Фигуры ЗИ смешанных высказываний: а - фигура 12 (конъюнкциярл-ц), б - фигура 11 (дизъюнкция pv~ч); в - фигура 10 (импликация р^-ц); г - фигура 13 (эквиваленция
р—-ч)
а о и
Рис. 7. Фигуры ЗИ смешанных высказываний: а - фигура 14 (конъюнкция -рлц); б - фигура 7 (дизъюнкция ~р^ч ); в - фигура 6 (импликация -р^ч); г - фигура 13 (эквиваленция -р—ч)
Итак, на основании построенных фигур ЗИ для 4 первых пар элементарных исходных высказываний (см. рис. 2 и 5) выполнено логическое конструирование сложных высказываний и построение их ФЗИ. Количество различных фигур ЗИ стало равным 14. Что же объединяет эти 14 фигур? Отождествляет их тот факт, что фигуры всех 4 исходных пар имеют ось зеркальной симметрии. Это означает, что высказывания в каждой из рассмотренных нами исходных пар едины и взаимно противоположны, но не противоречивы.
Установленный факт противоположности исходных высказываний вынуждает нас вспомнить основной принцип диалектики, впервые высказанный Платоном в диалоге «Парменид» [11]. Философ утверждал, что нельзя мыслить что-либо как «абсолютное одно». В реальном мышлении нужно полагать что-либо как нечто «одно» и «иное», противоположное «одному».
Из вышеизложенного следует, что наличие факта симметрии (фигур ЗИ) в исходных парах высказываний позволяет логике высказываний сделать шаг в сторону возможного сближения принципов логики и диалектики.
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
6. Противоречие и закон исключенного третьего. Для завершения исследования нам осталось рассмотреть 5-ю и 6-ю пары из возможных исходных высказываний, представленные выражениями (3). Для этого построим фигуры ЗИ названных пар (рис. 8), т. е. это будут ФЗИ высказываний p и ~p; q и ~q. В данном случае фигуры каждой из двух пар, расположенных «рядом» или «одна под другой», не имеют общей оси симметрии.
а б
Рис. 8. Две пары высказываний, представленных: а - фигурами 1 и 3 (для парыр и ~р); б - фигурами 2 и 4 (для пары q и -ч/).
В отличие от других рассмотренных нами пар фигур (см. рис. 2 и 5), данные две пары фигур (см. рис. 8) позволяют иметь только две различные комбинации ЗИ. Поэтому из каждой пары (см. рис. 8) можно построить только по две фигуры (рис. 9), причем вторая пара новых фигур (рис. 9, в и г) повторяет фигуры первой пары (рис. 9, а и б).
а б в
Рис. 9. Фигуры ЗИ: а - фигура 15 (противоречиерл~р); б - фигура 16 (законpv~p); в - фигура 15 (противоречие qл~q); г - фигура 16 (тот же закон qv~q)
Высказывания конъюнкций рл~р или qл~q приводят к построению фигуры 15, которая дает образ противоречия (рис. 9, а и в) - одного из центральных понятий логики. Высказывания дизъюнкций pv~p или qv~q приводят к фигуре 16, дающей образ закона исключенного третьего (рис. 9, б и г), согласно которому всегда истинно или само высказывание, или его отрицание. Фигурами 15 и 16 завершается построение новых фигур ЗИ и всего ансамбля из 16 ФЗИ. Пронумерованный список 16 фигур ЗИ, их изображения и
- 10 -
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal.ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные ис
формулы логики высказываний, по которым они построены, приведены в табл. 3.
7. Заключение. Таблицам истинности придан обозримый образ, состоящий из 16 фигур со значениями «истина» и «ложь» (см. табл. 3). К этим фигурам в итоге сводятся все формулы логики высказываний. Фигуры ЗИ четко выявляют и фиксируют наиболее существенные стороны объектов логики, так как уточняют их содержание путем выявления новых форм.
Таблица 3. Фигуры значений истинности
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск ^D-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
№ ФЗИ
Фигуры ЗИ
Условные наименования ФЗИ
Формулы
Простое высказывание, первое
Простое высказывание, второе
q
Отрицание первого высказывания
Отрицание второго высказывания
~p
Конъюнкция
рлд
Дизъюнкция
pvq
Импликация
p^q
Эквиваленция
Антиконъюнкция
p^q
10
Антидизъюнкция
11
Антиимпликация
1
2
3
4
5
6
7
8
9
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
ISSN: 2500-4212. Свидетельство о регистрации СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 Научное обозрение. Раздел I. Научные исследования. 2018. №2. ID 104
12 ф Конъюнкция левая pA~q
хч Строгая
13 дизъюнкция pwq
14 <ф> Конъюнкция правая -pAq
15 <ф> Противоречие рл~р, q
16 Закон исключенного третьего pv~p, q
Методологически таблицу 3 можно использовать для иллюстрации принципа научного познания, согласно которому «исследование каждого объекта должно вестись до тех пор и быть настолько полным, чтобы относительно каждого утверждения об этом объекте можно было решить, истинно оно или нет» [3, с. 54]. Например, в табл. 1 для наборов ЗИ в столбцах 5-8 вполне достаточно было бы иметь ЗИ для высказываний р и д, т. е. достаточно фигур 1 и 2, но в таблице введены в рассмотрение и наборы ЗИ отрицаний ~р и ыд, т. е. наборы для фигур 3 и 4. Методологически именно этот шаг позволил нам из высказываний р, д, ыр и ыд скомбинировать 6 пар исходных высказываний (3). Фигуры ЗИ именно этих пар (см. рис. 2, 5 и 7) привели нас к окончательному построению всего ансамбля из 16 ФЗИ.
На вопрос о правомерности применения логического инварианта в диалектике учения о слоях ответ будет таким: и да и нет. Да - потому, что выявлена возможность представить ЗИ в столбцах таблиц истинности фигурами ЗИ. Нет - по той причине, что для окончательного ответа потребуется дополнительное исследование по согласованию принципов логики с принципами и постулатами учения о слоях мышления.
Из анализа работ [1, 9, 10, 12, 13] следует, что возможность сближения принципов логики и диалектики наметилась только тогда, когда для слоев мышления была выбрана конкретная (плоская и клиновидная) форма их контура. Поэтому, отвлекаясь от конкретности, по вопросу о совместимости принципов логики и диалектики виден пока только образ следующей картины.
Диалектика в учении о слоях конкретного очертания, осуществляя очередной шаг полагания слоев, после его завершения делает остановку. Временная остановка движения (покой) нужна для того, чтобы «осмотреться» и,
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal.ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные ис
вглядываясь в предмет исследования, выбрать направление и место для выполнения следующего шага. Логика, наоборот, в момент «покоя» смотрит не вперед, а назад. Она как бы фиксирует и запоминает пройденный диалектикой путь: выявляет новые связи и отношения в уже положенных слоях мышления. Более того, только после установления и фиксации логических скреп диалектические категории окончательно определяют и «узаконивают» свой статус категорий.
Список использованных источников
1. Абрамов В. А., Тюряхин А. С. Графическая интерпретация и образы преобразований в схематизме мышления // Гуманитарные науки: в поиске нового: межвуз. сб. науч. тр. / редкол.: Л. И. Савинов (пред.) [и др.]. Саранск, 2009. Вып. 7. С. 3-16.
2. Гильберт Д., Бернайс П. Математическая логика и основания математики / пер. с нем. Н. М. Нагорного; под ред. С. И. Адина. М.: Наука, 1979. 557 с.
3. Горский Д. П., Ивин А. А., Никифоров А. Л. Краткий словарь по логике / под ред. Д. П. Горского. М.: Просвещение, 1991. 208 с.
4. Зегет В. Элементарная логика / пер. с нем. И. М. Морозовой. М.: Высш. шк., 1985. 256 с.
5. Кондаков Н. И. Логический словарь-справочник. М.: Наука, 1976. 256 с.
6. Лосев А. Ф. Античный космос и современная наука // Бытие - имя -космос / сост. и ред. А. А. Тахо-Годи. М.: Мысль, 1993. С. 61-612.
7. Лосев А. Ф. Дерзание духа. М.: Политиздат, 1988. 366 с.
8. Лосев А. Ф. Самое само. М.: Изд-во ЭКСМО-Пресс, 1999. С. 423-634.
9. Манухов В. Ф., Тюряхин А. С., Абрамов В. А. Онтологический категориальный инвариант - основа систематики научных терминов // Картография и геодезия в современном мире: материалы второй Всерос. науч. -практ. конф., Саранск, 8 апр. 2014 г. / редкол.: В. Ф. Манухов (отв. ред.) [и др.]. Саранск: Изд-во Мордов. ун-та, 2014. С. 10-17.
10. Манухов В. Ф., Тюряхин А. С. Интеграция терминов и понятий посредством диалектических схем в учебной и словарно-справочной литературе // Интеграция образования. 2011. № 1. С. 34-38.
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск ^D-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal. ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
11. Платон. Собрание сочинений: пер. с древнегреч. В 4 т. Т. 2 / общ. ред.: А. Ф. Лосева, В. Ф. Асмуса, А. А. Тахо-Годи; примеч.: А. Ф. Лосева и А. А. Тахо-Годи. М.: Мысль, 1993. 528 с.
12. Тюряхин А. С. Диалектика первого символа бытия в графической интерпретации // Вестник Мордовского университета. 2004. № 1-2. С. 125-136.
13. Тюряхин А. С., Манухов В. Ф. Систематика категорий бытия и сущности на основе логики полагания слоев мышления // Инновационные подходы к развитию литературы, лингвистики, культуры, искусства и философии: монография / авт. коллектив: А. И. Афанасьев [и др.]. Одесса: КУПРИЕНКО СВ, 2015. С. 58-86.
14. Философский энциклопедический словарь. М.: ИНФРА-М, 2004. 576 с.
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск ^D-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
Turyakhin Alexey
Doctor of Engineering, associate Professor, Department Applied Mechanics, Federal state budgetary educational institution of higher education «National research N. P. Ogarev Mordovia State University», Saransk
Manukhov Vladimir
Doctor of Engineering, head of Department Geodesy, Cartography and Geoinformatics, Federal state budgetary educational institution of higher education «National research N. P. Ogarev Mordovia State University», Saransk
Nuyanzin Vladimir
graduate student, M. E Evseviev Mordovian state pedagogical Institute, Saransk Dubkova Tatyana
educator manager, Municipal state preschool educational institution Nr. 21, Novosibirsk, Russia
NOTCHED TABLE VIEW TRUTH IN LOGIC STATEMENTS
The columns of the truth tables, made up of 4 cells that contain the values "true" or "false" assigned to the diamond shape composed of 4 squares. In the end, the truth tables of one or two simple statements constructed by the formulas of propositional
МЕЖДУНАРОДНЫЙ НАУЧНО-ПРАКТИЧЕСКИЙ ЖУРНАЛ www.srjournal.ru
ISSN: 2500-4212. Свидетельство о регистрации Научное обозрение. Раздел I. Научные и
logic are reduced to ISO-image 16 expressive _ figures of truth values, which are easily "grabbed" and stored. These shapes thanks clarity greatly simplify the implementation of many operations of the logical calculation and contribute to a better assimilation of the principles and laws of propositional logic. Thanks to the figures of the true labeled image possible ways of rapprochement of the postulates of the doctrine of the layers of thinking to the rules and principles of propositional logic.
Key words: logic of statements; tables and figures of the truth; the doctrine of the layers of thinking.
© АНО СНОЛД «Партнёр», 2018 © Тюряхин А. С., 2018 © Манухов В. Ф., 2018 © Нуянзин В. А., 2018 © Дубкова Т. П., 2018
Тюряхин А. С. Фигурное представление таблиц истинности в логике высказываний [Электронный ресурс] / А. С. Тюряхин, В. Ф. Манухов, В. А. Нуянзин, Т. П. Дубкова // Научное обозрение: электрон. журн. - 2018. - № 2. - 1 электрон. опт. диск (CD-ROM). Систем. требования: Pentium III, процессор с тактовой частотой 800 Мгц; 128 Мб; 10 Мб; Windows XP/Vista/7/8/10; Acrobat 6 x.
СМИ: ЭЛ № ФС 77 - 67083 от 15.09.2016 сследования. 2018. №2. ID 104
Учредитель и издатель журнала:
Автономная некоммерческая организация содействие научно-образовательной и литературной деятельности «Партнёр»
ОГРН 1161300050130 ИНН/КПП 1328012707/132801001
Адрес редакции:
430027, Республика Мордовия, г. Саранск, ул. Ульянова, д.22 Д, пом.1
тел./факс: (8342) 32-47-56; тел. общ.: +79271931888; E-mail: [email protected]
О журнале
S Журнал имеет государственную регистрацию СМИ и ему присвоен международный стандартный серийный номер ISSN.
S Материалы журнала включаются в библиографическую базу данных научных публикаций российских учёных Российский индекс научного цитирования (РИНЦ).
S Журнал является официальным изданием. Ссылки на него учитываются так же, как и на печатный труд.
S Редакция осуществляет рецензирование всех поступающих материалов, соответствующих тематике издания, с целью их экспертной оценки.
S Журнал выходит на компакт-дисках. Обязательный экземпляр каждого выпуска проходит регистрацию в Научно-техническом центре «Информрегистр».
S Журнал находится в свободном доступе в сети Интернет по адресу: www.srjournal.ru. Пользователи могут бесплатно читать, загружать, копировать, распространять, использовать в образовательном процессе все статьи.
Прием заявок на публикацию статей и текстов статей, оплата статей осуществляется через функционал Личного кабинета сайта издательства "Партнёр" (www.anopartner.ru) и не требует посещения офиса.
