Натуральное исчисление для логики Юрьева Текст научной статьи по специальности «Математика»

Челябинский физико-математический журнал. 2017. Т. 2, вып. 1. С. 46-52.

УДК 510.644

НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ ДЛЯ ЛОГИКИ ЮРЬЕВА

Я. И. Петрухин

Московский государственный университет им. М. В. Ломоносова, Москва, Россия yaroslav.petrukhin@mail.ru

Рассматривается трёхзначная логика Юрьева, построенная для моделирования работы биологического нейрона и искусственных нейронных сетей. Формулируется натуральное исчисление, адекватное семантике рассматриваемой логики.

Ключевые слова: натуральное исчисление, трёхзначная логика, логика Юрьева, логика нейронных сетей, логика биологического нейрона.

Введение

В статье Д. Н. Юрьева [1] формулируется трёхзначная логика Y3, моделирующая работу нейроподобных элементов. Y3 представляет интерес для изучения благодаря своему прикладному назначению и своим логико-алгебраическим свойствам: как следует из работы А. С. Карпенко [2], Y3 не является решёточной логикой, не содержит регулярных (в смысле С. К. Клини [3; 4]) логических связок, не содержит функций min и max1, содержит только одну из семи монотонных функций в P32. Кроме того, в [2] отмечается, что на множестве классических истинностных значений {1,0} бинарные связки Y3 не совпадают с классическими (иными словами, не выполняется условие нормальности Решера [8]), а при одном выделенном значении Y3 не имеет тавтологий. В силу последнего свойства системы Y3 для неё нельзя построить исчисление гильбертовского типа с непустым множеством аксиом. Однако все утверждения о следовании, корректные в Y3, могут быть формализованы в виде натурального исчисления, построение которого является целью этой работы.

Статья структурирована следующим образом: в разделе 1 описывается семантика логики Y3, в разделе 2 формулируется натуральное исчисление для Y3, в разделе 3 доказывается теорема об адекватности исчисления в семантике.

1. Семантика логики Y3

В логике Y3 имеются три истинностных значения 1, 1/2, 0, понимаемые как возбуждающий постсинаптический потенциал, потенциал покоя и тормозной пост-синаптический потенциал. Заметим, что значения 1, 1/2 и 0 могут трактоваться и более привычным для трёхзначной логики образом: истина, неопределённость и ложь. Y3 строится в пропозициональном языке L, алфавиту которого принадлежат пропозициональные переменные P = {pi,... ,pn,... }, правая и левая круглые скобки, логические связки: отрицание (—), конъюнкция (Л), дизъюнкция (V) и сильная дизъюнкция (ф). Множество всех L-формул F определяется стандартно. В дальнейшем вместо «L-формула» мы будем писать «формула». Таблица истинности f

1 Впервые это утверждение сформулировано в [5], но доказательство появилось только в [2].

2См. работу С. В. Яблонского [6], посвящённую монотонным операциям в функционально полной системе Э. Поста [7] Рп.

для логической связки I обозначается через / Отображение V из Р в {1,1/2,0} (называемое оценкой) распространяется на Т в соответствии со следующими таблицами:

/- /л 1 1/2 0

1 0 1 1 1/2 1/2

1/2 1/2 1/2 1/2 1/2 1/2

0 1 0 1/2 1/2 0

/V 1 1/2 0 Уф 1 1/2 0

1 1 1 1/2 1 1/2 1 1/2

1/2 1 1/2 0 1/2 1 1/2 0

0 1/2 0 0 0 1/2 0 1/2

Определение 1. Из множества формул Г следует формула А тогда и только тогда, когда при любой оценке V, если значение всякой формулы С из Г равно 1, то значение А тоже равно 1.

Символически это определение можно записать следующим образом: Г |=Yз А (где Г С Т и А Е Т) тогда и только тогда, когда при любой оценке V, если v(G) = 1 для всех С Е Г, то v(A) = 1. В общем случае множество Г может не быть конечным. Если множество Г пусто, то формула А называется логическим законом, или тавтологией. Однако, как следует из определений логических связок, если Г пусто, то из Г не следует ни одна формула. Таким образом, множество всех тавтологий логики Yз пусто.

2. Натуральное исчисление для У3

Мы предлагаем натуральное исчисление для Yз со следующими правилами вывода (А, В, С Е Т):

А -А , А , --А , А В , А Л В

(Е*Ч) — (- ) ^АА (--Е) -г (Л/) А^В (ЛЕ-> —

, „ ч А Л В . -А -В . -(А Л В) . -(А Л В)

(л£2) л (- Л/) ■ ■ д т (- Л Ег) 1 . } (- Л е2) 1 ;

В 4 7 -(А Л В) 17 -А 4 27 -В

[-А] [-В] [А V В] [-А] [-В] [А V В]

, А С С С , В С С С

(V/:)-^--№

С 4 27 С [А] [В]

А V ВС С , А V В -А . А V В -В

№) -С- №) -С---¿7-

[А] [В] [-(А V В)] [А] [В] [-(А V В)]

-А С С С -В С С С

(-V Л)----(-V /2)

С 27 С

( уЕ ) -(А VВ) ( уЕ ) -(А VВ) А ( _ ) -(А V В) В

Е1)^В Е2)-С- Ез)-С-

(е/1)

[—А] [в] [—в] [А е в] А С С С С

(е£0

С

[А] [В] а е ВС С С

(е/2)

А е в —А С

[А] [—А] [—В] [А е в] в С С С С

(е£з)

С

А е в —в С

[А] [в] [—в] [—(А е в)]

А е в А в С

(—е /1)

А С С

С

С

(— е /2)

[А] [—А] [в] [—(А е в)] пв С С С С

С

С

(— е £1)

„ , —(А е в) А . —(А е в) в (— е £2) ——^— (— е £3) —

С

С

(— е £4)

—(А е в) —А е—в

(А е в) —А —в С

Определение 2. Выводом А из Г С7 называется непустая конечная линейно упорядоченная последовательность формул А1;..., Ап, такая, что (1) Ап есть А, и (2) для всякого г (1 ^ г ^ п) А^ е Г (А^ является посылкой), или А^ является допущением, или А^ получена из предшествующих формул по одному из правил вывода, и (3) после применения правил ^£1), (е£1), ^Д), (V/2), (е/1), (е/2), (— V /1), (—V /2), (— е /1) и (— е /2) все формулы, начиная с допущений и вплоть до результатов применения этих правил, являются исключёнными из вывода. Из Г С / выводима А е/ (Г hYз А) тогда и только тогда, когда существует вывод А из Г.

Пример вывода приведён на рисунке (с. 49).

3. Теорема об адекватности исчисления семантике

Теорема 1. Для всяких А е/ и Г С / следующие утверждения эквивалентны: (1) Г Ь^ А; (2) Г К3 А.

Доказательство. С помощью таблиц истинности нетрудно убедиться в том, что во всех правилах вывода из посылок следуют заключения. Используя этот факт, индукцией по длине вывода легко показать, что из утверждения (1) следует утверждение (2). Для доказательства того, что из утверждения (2) следует утверждение (1), нам потребуется метод Хенкина [9], точнее говоря, его адаптация для трёхзначных пропозициональных логик, описанная в [10].

Определение 3. Называем Г С Т \ 3-теорией, если выполняются следующие условия:

(Г1) Г = /;

(Г2) Г ЬYз А, если и только если А е Г;

(гз) если А V в е Г, то А е Г или в е Г;

(Г4) если А е в е Г, то А е Г или в е Г;

(Г5) если А е Г, то —А е Г, или —в е Г, или А V в е Г;

(Г6) если в е Г, то —А е Г, или —в е Г, или А V в е Г;

(Г7) если А е Г, то —А е Г, или в е Г, или —в е Г, или А е в е Г;

посылка допущение допущение №): 1, 3 допущение {ЕРЯ): 2, 5 допущение (7/а): 2, 3-4, 5-6, 7 допущение допущение (ЕРд): 9, 10 допущение 1, 12 допущение

(V/!): 9, 10-11, 12-13, 14 (У^): 1, 2-8, 9-15

Вывод формулы р2 V р1 из формулы р1 V р2

(Г8) если В е Г, то А е Г, или —А е Г, или —В е Г, или А ф В е Г;

(Г9) если —А е Г, то А е Г, или В е Г, или —(А V В) е Г;

(Г10) если —В е Г, то А е Г, или В е Г, или —(А V В) е Г;

(Г11) если —А е Г, то А е Г, или В е Г, или —В е Г, или —(А ф В) е Г;

(Г12) если —В е Г, то А е Г, или —А е Г, или В е Г, или —(А ф В) е Г.

Определение 4. Называем множество Г С7 непротиворечивым, если для всякой А е Т верно, что А Е Г или —А Е Г. Называем \ 3-теорию Г непротиворечивой, если она является непротиворечивым множеством формул.

1 Р1 V р2

2 VI

3

4 Р2 V

5

6 Р2 УР1

7 Р2

8

9 Р2

10 Рч

И Р2 V Р1

12

13 Р2 Vpl

14 Р2 Vpl

15 р2У Р\

16 Р-2 V р1

Лемма 1. Всякая \3-теория Г является непротиворечивой.

Доказательство. Допустим, что существует Yз-теория А, не являющаяся непротиворечивой. Тогда по определению 4 существует формула А, такая, что А е А и —А е А. Но тогда, применяя правило (EFQ), получаем, что В е А (для всякой формулы В). Следовательно, А = Т, что противоречит определению 3. □

Лемма 1 позволяет нам рассматривать в приведённом ниже определении 5 только непротиворечивые множества.

Определение 5. Называем е(А, Г) канонической оценкой (для всякого непротиворечивого Г С Т и всякой А е Т), если выполняются следующие условия:

(1, если А е Г и —А Е Г; 1/2, если А Е Г и —А Е Г; 0, если А е Г и —А е Г.

Лемма 2. Для любых Y3-теории Г и А :

1. /-(е(А, Г)) = е(—А, Г).

2. /л(в(А, Г), е(в, Г)) = е(А Л в, Г).

3. /(е(А, Г), е(в, Г)) = е(А V в, Г).

4. /ф(б(А, Г), е(в, Г)) = е(А е в, Г).

Доказательство. 1. Допустим, что е(А, Г) = 1. Тогда А е Г, —А е Г. По правилу (——/) ——А е Г. Тогда /_,(е(А, Г)) = 1 = /-(0) = е(—А,Г).

Допустим, что е(А, Г) = 1/2. Тогда А е Г, —А е Г. Если ——А е Г, то по правилу (——£) А е Г. Противоречие. Следовательно, ——А е Г и /_,(в(А, Г)) = 1/2 = /-(1/2) = е(—А, Г).

Случай е(А, Г) = 0 рассматривается аналогично.

2. Допустим, что е(А, Г) = 1, е(в, Г) = 1/2. Тогда А е Г, —А е Г, в е Г, —в е Г. Из А Л в е Г по правилу (Л£2) следует в е Г. Поэтому А Л в е Г. Из

— (А Л в) е Г по правилу (— Л £1) следует —А е Г. Поэтому —(А Л в) е Г. Таким образом, е(А Л в, Г) = 1/2 = /л(1,1/2) = /л(е(А, Г),е(в, Г)).

Остальные случаи доказываются аналогично.

3. Допустим, что е(А, Г) = 1, е(в, Г) = 1/2. Тогда А е Г, —А е Г, в £ Г, —в е Г. Используя (Г5), из А е Г получаем —А е Г, или —в е Г, или А V в е Г. Поскольку —А е Г и —в е Г, получаем А V в е Г. Используя (££ф), получаем

— (А V в) е Г. Таким образом, е(А V в, Г) = 1 = /(1,1/2) = /(е(А, Г),е(в, Г)).

Допустим, что е(А, Г) = 1, е(в, Г) = 0. Тогда А е Г, —А £ Г, в е Г, —в е Г. Предположим, что А V в е Г. Отсюда из того, что —в е Г, по правилу (V£3) получаем С е Г, иными словами, Г = /, что противоречит (Г1). Таким образом, выполняется А V в е Г. Допустим, что —(А V в) е Г. Отсюда из того, что А е Г, по правилу (— V £2) получаем С е Г, иными словами, Г = /, что противоречит (Г1). Следовательно, —(А V в) е Г. Таким образом, е(А V в, Г) = 1/2 = /(1, 0) = /(е(А, Г), е(в, Г)).

Допустим, что е(А, Г) = 1/2, е(в, Г) = 1/2. Тогда А е Г, —А е Г, в е Г, —в е Г. Пусть А V в е Г. Используя (Г3), получаем, что А е Г или в е Г. Противоречие. Таким образом, А V в е Г. Пусть —(А V в) е Г. Тогда по правилу (—V £1) и (Г3) получаем, что —А е Г или —в е Г. Противоречие. Следовательно, —(А V в) е Г. Таким образом, е(А V в, Г) = 1/2 = /(1/2,1/2) = /(е(А, Г),е(в, Г)). Остальные случаи доказываются аналогично.

4. Аналогично предыдущим случаям. □

Лемма 3. Для всякой Y3-теории Г определим оценку так, что г>г(р) = е(р, Г) для всех р е Р. Тогда г>г(А) = е(А, Г) для всех А е/.

Доказательство проводится по индукции по построению А с использованием леммы 2.

Лемма 4. (Лемма Линденбаума). Для всяких Г С / и А е / если Г Ьт3 А, то существует такая Yз-теория А, что Г С А и А Ьт3 А.

Доказательство. Допустим, что Г Ьт3 А. Пус ть в1, в2,... есть перечисление всех элементов /, пусть Го = Г и Гга+1 = Г„ У {вга+1}, если Г„ У |в„+1} Ьт3 А, и Гга+1 = Гп, иначе. Пусть А := У°=0 Г^. По определению А, получаем, что (1) Г С А. Прямой индукцией по г можно доказать, что (11) А Ьт3 А. Остаётся проверить, является ли

А Ys-теорией, иными словами, выполняются ли условия (Г1)-(Г12). (Г1) следует из того, что А |y3 А. Используя рассуждение от противного и определение А, несложно показать, что (Г2) имеет место. Докажем, что условие (Г3) выполняется. Допустим, что A V B G Г, A G Г и B G Г. Тогда A = Bn, B = Bm, Гп U {Bn} IY3 A и Гт U {Bm} Iy3 a. Поскольку Г« Ç А и Гт Ç А, А U {Bn} Iy3 a и А U {Bm} Iy3 a. Отсюда и из того, что А Iy3 Bn VBm, применяя правило (VEi), получаем А Iy3 A, что противоречит (ii). Но тогда если A V B G Г, то A G Г или B G Г. Выполнимость условий (Г4)-(Г12) обосновывается аналогично с использованием правил вывода (®Ei), (Vli), (V/2), (0/i), (0/2), (- V Ii), (- V /2), (- 0 Ii) и (- 0 /2). □

Допустим, что Г |y3 A. Тогда по лемме 4 существует такая Ys-теория А, что Г Ç А и А |y3 A. По лемме 3 существует такая оценка гд(А), что гд (G) = 1 (для всех G G Г) и гд(А) = 1. Следовательно, Г =y3 А. Отсюда по контрапозиции получаем, что если Г =y3 А, то Г Iy3 А. □

Заключение

Рассмотрена трёхзначная пропозициональная логика Юрьева Y3, моделирующая работу нейроподобных элементов. Построено натуральное исчисление, формализующее Y3.

Список литературы

1. Юрьев, Д. Н. Новая трёхзначная логика / Д. Н. Юрьев // Тр. науч.-исслед. семинара логич. центра Ин-та философии РАН. — 2001. — № 15. — С. 120-125.

2. Карпенко, А. С. Нерегулярность и «существенная» немонотонность логики Юрьева Y3 / А. С. Карпенко // Тр. науч.-исслед. семинара логич. центра Ин-та философии РАН. — 2002. — № 16. — С. 54-58.

3. Kleene, S. C. On a notation for ordinal numbers / S. C. Kleene // J. of Symbolic Logic. — 1938. — Vol. 3, no. 4. — P. 150-155.

4. Клини, С. К. Введение в метаматематику / С. К. Клини. — М. : Изд-во иностр. лит., 1957. — 526 с.

5. Карпенко, А. С. Не истинностно-функциональная логика Клини с антибулевой операцией / А. С. Карпенко // Тр. науч.-исслед. семинара логич. центра Ин-та философии РАН. — 2001. — № 15. — С. 41-45.

6. Яблонский, С. В. Функциональные построения в k-значной логике / С. В. Яблонский // Тр. Мат. ин-та им. В. А. Стеклова. — 1958. — № 51. — C. 5-142.

7. Post, E. Introduction to a general theory of elementary propositions / E. Post // American J. of Mathematics. — 1921. — Vol. 43, no. 3. — P. 163-185.

8. Rester, N. Many-valued logic / N. Rester. — N. Y. : McGraw Hill, 1959. — xv+359 p.

9. Henkin, L. The completeness of the first-order functional calculus / L. Henkin // J. of Symbolic Logic. — 1949. — Vol. 14, no. 3. — P. 159-166.

10. Tamminga, A. Correspondence analysis for strong three-valued logic / A. Tamminga // Логич. исслед. — 2014. — № 20. — С. 255-268.

Поступила в 'редакцию 16.01.2017 После переработки 24.02.2017

Сведения об авторах

Петрухин Ярослав Игоревич, студент кафедры логики философского факультета, Московский государственный университет им. М. В. Ломоносова, Москва, Россия; e-mail: yaroslav.petrukhin@mail.ru.

52

H. H. neTpyxHH

Chelyabinsk Physical and Mathematical Journal. 2017. Vol. 2, iss. 1. P. 46-52.

NATURAL DEDUCTION FOR YURIEV'S LOGIC Y.I. Petrukhin,

Lomonosov State University, Moscow, Russia yaroslav.petrukhin@mail.ru

In the paper we consider the three-valued Yuriev's logic constructed for the simulating of the work of a biological neuron and an artificial neural networks. We formulate a natural deduction system which is adequate with respect to the semantics of the considered logic.

Keywords: natural deduction, three-valued logic, Yuriev's logic, logic of neuron network, logic of biological neuron.

References

1. Yuriev D.N. Novaya tryokhznachnaya logika [New three-valued logic]. Trudy nauchno-issledovatel'skogo seminara logicheskogo tsentra Instituta filosofii RAN [Proceedings of the research logical seminar of Institute of philosophy of Russian Academy of Sciences], 2001, no. 15, pp. 120-125. (In Russ.).

2. Karpenko A.S. Neregulyarnost' i "sushchestvennaya" nemonotonnost' logiki Yur'eva Y3 [Nonregularity and "essential" nonmonotonicity of Yuriev's logic Y3]. Trudy nauchno-issledovatel'skogo seminara logicheskogo tsentra Instituta filosofii RAN [Proceedings of the research logical seminar of Institute of philosophy of Russian Academy of Sciences], 2002, no. 16, pp. 54-58. (In Russ.).

3. Kleene S.C. On a notation for ordinal numbers. Journal of Symbolic Logic, 1938, vol. 3, no. 4, pp. 150-155.

4. Kleene S.C. Introduction to metamathematics. New York, Toronto, D. Van Nostrand Company, Inc. 1952. x + 550 p.

5. Karpenko A.S. Ne istinnostno-funktsional'naya logika Klini s antibulevoy operatsiey [Non truth-functional Kleene's logic with antiboolean operation]. Trudy nauchno-issledovatel'skogo seminara logicheskogo tsentra Instituta filosofii RAN [Proceedings of the research logical seminar of Institute of philosophy of Russian Academy of Sciences], 2001, no. 15, pp. 41-45. (In Russ.)

6. Yablonskiy S.V. Funktsional'nye postroeniya v k-znachnoy logike [Functional constructions in k-valued logic]. Trudy Matematicheskogo instituta imeni V.A. Steklova [Proceedings of the Steklov Institute of Mathematics], 1958, no. 51, pp. 5-142. (In Russ.).

7. Post E. Introduction to a general theory of elementary propositions. American Journal of Mathematics, 1921, vol. 43, no. 3, pp. 163-185.

8. Res^er N. Many-valued logic. New York, McGraw Hill, 1959. xv+359 p.

9. Henkin L. The completeness of the first-order functional calculus. Journal of Symbolic Logic, 1949, vol. 14, no. 3, pp. 159-166.

10. Tamminga A. Correspondence analysis for strong three-valued logic. Logical Investigations, 2014, no. 20, pp. 255-268.

Accepted article received 16.01.2017 Corrections received 24.02.2017