К проблеме характеризации логик васильевского типа: о табличности логик i⟨x,y⟩(x, y ∈{0, 1, 2,. . . } и x < y). Часть i Текст научной статьи по специальности «Математика»

Логические исследования 2017. Т. 23. № 1. С. 57-82 УДК 164.07+510.649

Logical Investigations 2017, Vol. 23, No. 1, pp. 57-82 DOI: 10.21146/2074-1472-2017-23-1-57-82

В.М. Попов

К проблеме характеризации логик васильевского типа: о табличности логик

I(x,y)(x,V е{0, 1, 2,... } и x < y). Часть I1

V •

Попов Владимир Михайлович

Кафедра логики, философский факультет, МГУ имени М. В. Ломоносова 119991, Москва, ГСП-1, Ломоносовский проспект, д. 27, корп. 4 E-mail: pphiloslog@mail.ru

В этой статье, продолжающей работу, проводимую в [1], изучается проблема табличности /-логик васильевского типа (пропозициональная логика называется табличной, если она имеет конечную характеристическую матрицу). Основной результат, полученный в данной статье: для всяких целых неотрицательных чисел к и у, первое из которых меньше второго, логика 1{х>у) таблична (класс всех таких логик является бесконечным подклассом класса всех /-логик васильевского типа). Предлагаемое исследование основано на использовании результатов, полученных в [1], и на применении авторской кортежной семантики. Для достижения указанного основного результата мы показываем, как по произвольным целым неотрицательным числам т и п, удовлетворяющим неравенству т < п, строится логическая матрица М(т,п), которая является конечной характеристической матрицей логики 1(т,п). Поскольку носитель логической матрицы Ш(т,п) есть некоторое множество 0-1-кортежей, семантику, базирующуюся на этой логической матрице, естественно называть кортежной семантикой. Важное замечание: статья публикуется в два приема. Перед вами первая часть статьи, вторую часть статьи планируется опубликовать во втором номере «Логических исследований» за 2017 год.

Ключевые слова: /-логика 1(т,п) (т, п £ {0,1, 2,...} и т < п), двузначная семантика /-логики /(т>п)(т,п £ {0,1, 2,...} и т < п), кортежная семантика /-логики /(т,п) (т, п £ {0,1, 2,...} и т < п)

хРабота выполнена при поддержке РГНФ, грант № 16-03-00224а.

Памяти российского философа и логика Елены Дмитриевны Смирновой, выдающегося специалиста в области логической семантики,

посвящается

©Попов В.М.

Цель работы — доказательство того, что для всяких таких целых неотрицательных чисел х и у, что х < у, логика !(х,у) таблична. С этой целью здесь показано, как по произвольным целым неотрицательным числам т и п, удовлетворяющим неравенству т < п, строится логическая матрица М(т,п), которая является характеристической матрицей логики 1(т,п). Семантику, базирующуюся на логической матрице М(т,п), называем кортежной семантикой. В данном контексте введение термина «кортежная семантика» мотивировано тем, что носитель логической матрицы М(т, п) есть некоторое множество 0-1 -кортежей. Как и в работе [1], курсивные буквы (иногда с индексами) латинского и греческого алфавитов обозначают параметры, а прямые буквы (также иногда с индексами) указанных алфавитов используются в качестве связанных переменных.

Нам потребуется стандартно определяемый пропозициональный язык Ь, алфавиту которого принадлежат в точности следующие символы: Р1,Р2,Рз, ■ ■ ■ (пропозициональные переменные языка Ь), V, Э (бинарные логические связки языка Ь), — (унарная логическая связка языка Ь), левая и правая круглые скобки. Множество всех пропозициональных переменных языка Ь обозначаем через Ргор^. Определение Ь-формулы индуктивно: (1) всякая пропозициональная переменная языка Ь есть Ь-формула, (2) если А и В являются Ь-формулами, то (А&В), (А V В), (А Э В), и (—А) являются Ь-формулами, (3) ничто другое не является Ь-формулой. Квазиэлементарной Ь-формулой называем Ь-формулу, в которую не входит ни одна бинарная логическая связка языка Ь. Длиной Ь-формулы называем, как это принято, число всех вхождений символов V, Э, — в эту Ь-формулу. Ясно, что для всякой Ь-формулы существует единственная длина этой Ь-формулы и что длина всякой Ь-формулы есть целое неотрицательное число. Обозначаем длину Ь-формулы через Н(А). Условимся обозначать через Л отображение множества {1, 2,... } всех целых положительных чисел в одноэлементное множество {—}.

Соглашение 1: для всякой Ь-формулы А — И (А) есть А.

Соглашение 2: для всякой L-формулы A и для всякого целого положительного числа d —[d](A) есть сокращение для (A(d)...(A(1)A)...).

Замечание 1: для всякой L-формулы A и для всякого целого положительного числа d —[0](A) и —[d](A) являются L-формулами.

Замечание 2: можно доказать, что для всякого A и для всякого целого неотрицательного числа k:A есть квазиэлементарная L-формула длины k тогда и только тогда, когда A есть —[k](q) для некоторой пропозициональной переменной q языка L.

Логикой называем непустое множество L-формул, замкнутое относительно правила modus ponens в L и относительно правила пропозициональной подстановки в L (последнее правило есть правило подстановки L-формулы в L-формулу вместо пропозициональной переменной языка L).

Следуя [1], покажем как по любым x и y из {0, 1, 2,... ш} определяется исчисление HI^x,y) гильбертовского типа и множество I(x,y). С этой целью условимся, что а и ß принадлежат множеству {0, 1, 2,... ш}. Язык исчисления HI(a,ß) есть L. Аксиомами исчисления HI(aß) являются все те и только те L-формулы, каждая из которых имеет хотя бы один из следующих двенадцати видов (здесь A, B и C - L-формулы):

(I) ((A D B)d((B D C)d(A D C))), (II) (A d(A V B)), (III) (B D(A V B)), (IV) ((A D C)D((B D C)D((A V B)D C))), (V) ((A&B)D A), (VI) ((A&B)D B), (VII) ((C D A)d((C D B)D(C D(A&B)))), (VIII) ((A D(B D C))d((A&B)d C)), (IX) (((A&B)d C)d(A d(B d C))), (X) (((A D B)D A)d A), (XI,а) ((—D)d(D D A)), где D есть L-формула, которая не является квазиэлементарной L-формулой длины < а, (XII, ß) ((E D(—(A D A)))d(—E)), где E есть L-формула, которая не является квазиэлементарной L-формулой длины < ß.

Исчисление HI^a,ß) имеет единственное правило — modus ponens в L.

В [1] даны следующие определения: (1) определение Н/(а,р)-доказательства длины п (п есть целое положительное число) Ь-фор-мулы А — определение 1 в [1], (2) определение Н/^а,в)-доказательства Ь-формулы А — определение 2 в [1], (3) определение Н/^а,в)-вывода длины п (п есть целое положительное число) из множества М Ь-формул Ь-формулы А — определение 3 в [1], (4) определение Н1{а, в)-ввода из множества М Ь-формул Ь-формулы А — определение 4 в [1], (5) определение Ь-формулы, доказуемой в Н/^а, в), — определение 5 в [1]. Эти определения стандартны и здесь не приводятся.

Соглашение 3: следуя работе [1], условимся о том, что (1) для всякого множества К Ь-формул и для всякой Ь-формулы Р запись «Ктн1(ар) Р» есть сокращение для «существует Н/(а>/з)-вывод из множества К Ь-формул Ь-формулы Р», а запись «ЬН1{а Р» есть сокращение для «существует Н/^а,в)-доказательство Ь-формулы Р».

Вслед за [1] обозначаем через ,в) множество всех Ь-формул, доказуемых в Н/^а,в). Стереотипное доказательство того, что для всяких х и у из {0, 1, 2,... ш} /(х,у) является логикой, здесь не приводим. Информация о том, какого рода логикой является /(ХуУ), где х и у принадлежат множеству {0, 1, 2,... ш}, при тех или иных условиях, накладываемых на х или/и у, имеется в [1]. Следуя [1], называем /-логикой васильевского типа такую логику ,у), что х и у принадлежат множеству {0, 1, 2,...ш} и при этом х = 0 или у = 0. Очевидно, что для всяких х и у из {0, 1, 2,... ш} верно следующее: если х < у, то 1х, у) есть /-логика васильевского типа. Опираясь на утверждение У7 из [1], можно доказать, что класс всех логик, каждая из которых есть , у) для некоторых таких х и у из {0, 1, 2,... ш}, что х < у, бесконечен.

Для доказательства табличности интересующих нас логик потребуется двузначная семантика этих логик, которую мы построим, используя результаты работы [1]. Условимся, что далее везде т и п являются целыми неотрицательными числами и т < п.

Определение 1. /{тп)-предоценкой называем отображение множества всех квазиэлементарных Ь-формул, длина каждой из которых < п, в множество {0, 1}.

Определение 2. /{т,п)-оценкой называем /{т п)-предоценку V, выполняющую для всякой квазиэлементарной Ь-формулы Q следующее условие: если т <Ь^)< п и v(Q)=1, то v((—Q))=0.

Определение 3. /{т,п)-означиванием при /{т, п)-оценке называем такое отображение / множества всех Ь-формул в множество {0,1}, что выполняются следующие условия:

(1) для всякой квазиэлементарной Ь-формулы А, длина которой < п, /(А)= v(A);

(2) для всякой квазиэлементарной Ь-формулы А, длина которой > п: /((—А))=1 тогда и только тогда, когда /(А)=0;

(3) для всякой Ь-формулы А, не являющейся квазиэлементарной Ь-формулой: /((—А))=1 тогда и только тогда, когда /(А)=0;

(4) для всяких Ь-формул А и В:

/((А&В))=1 тогда и только тогда, когда /(А)=1 и /(В)=1, /((АУВ))=1 тогда и только тогда, когда /(А)=1 или /(В)=1, /((АэВ))=1 тогда и только тогда, когда /(А)=0 или /(В)=1.

Замечание 3. Можно доказать, что для всякой /{тп)-оценки V существует единственное /{т ,п)-означивание при V.

Соглашение 4. Через ф1>т'1П) обозначаем /{тп)-означивание при /{т,п)-оценке V.

Лемма 1. Для всякой Ь-формулы А и для всякой /{т,п)-оценки V: либо Ф^т'п) (А)=1, либо Фтп) (А)=0.

Стереотипное доказательство леммы 1 здесь не приводим.

Руководствуясь работой [1], дадим определение (4) и определение (5).

Определение 4. Называем А и /{т, п)-общезначимой Ь-формулой, если для всякой /{тп)-оценки V Ф^т'п) (А)=1.

Разумеется, всякая 1{тп>-общезначимая ¿-формула является ¿-формулой.

Определение 5. Говорим, что А 1{т,п>-следует из М (или из М 1{т,п>-следует А), если выполняются три условия: (1) А есть ¿-формула, (2) М есть множество ¿-формул, (3) для всякой 1/т п -оценки V верно, что если

ф{т , п>=1

для всякой ¿-формулы В

из М, то Фт п> (А)=1.

Теорема 1. Для всякого множества М ¿-формул и для всякой ¿-формулы А: М в) А тогда и только тогда, когда А

!{т,п>-следует из М.

Теорема 1 является простым следствием теоремы 7 работы [1]. Адекватность воспроизведенной здесь двузначной семантики логики 1{тпП> устанавливает следующая теорема 2, являющаяся следствием теоремы 9 работы [1].

Теорема 2. Для всякой ¿-формулы А: А € 1{т,п> тогда и только тогда, когда А есть , п>-общезначимая ¿-формула.

При доказательстве табличности интересующих нас логик будем использовать предложенные автором кортежные семантики, адекватные этим логикам. Построим кортежную семантику, адекватную логике 1{т ,п>.

Определение 6. {ш, п)-кортеж есть такое отображение X множества {1,..., п, п+1} в множество {0,1}, что для всякого целого числа 1: если ш + 1 << п + 1 и X(1) = 1, то X(1+1) = 0.

Определение 7. Говорим, что а есть к-тый член {ш, п)-кортежа X, если к €{1,..., п, п+1} и a=X(к).

Замечание 4. Разумеется, существует единственное множество всех {ш, п)-кортежей и единственное множество всех таких {ш, п)-кортежей, первый член каждого из которых есть 1 (первое из этих множеств обозначаем через С{т,п>, а второе — через 0{т,п> ).

Определение 8. Выделенный {ш, п)-кортеж есть {ш, п)-кортеж из

-^{т,п>.

Определение 9. Нормальный (т, п)-кортеж есть такой (т, п)-кортеж X, что для всякого целого положительного числа 1, которое < п+1, X(1) = X(1+1).

Определение 10. Единичный (т, п)-кортеж есть нормальный (т, п)-кортеж, первый член которого есть 1.

Определение 11. Нулевой (т, п)-кортеж есть нормальный (т, п)-кортеж, первый член которого есть 0.

Ясно, что существуют единственный единичный (т, п)-кортеж и единственный нулевой (т, п)-кортеж. Первый из этих (т, п)-кортежей обозначаем через 1(т,п), а второй через 0{т,п). Ясно также, что для всяких (т, п)-кортежей X и У существует единственная упорядоченная пара, первый член которой есть X, а второй — У.

Определение 12. Для всяких (т, п)-кортежей X и У: Z есть &{тп)-напарник упорядоченной пары (X, У) тогда и только тогда, когда верно следующее: (^ = 1{т,п), Х(1)=1, У(1)=1) или (^ = 0{т,п), Х(1) = 1 или У(1) = 1).

Определение 13. Для всяких (т, п)-кортежей X и У: Z есть У{тп)-напарник упорядоченной пары (X, У) тогда и только тогда, когда верно следующее: (^ = 1{т,п), X(1)=1 или У(1)=1) или (^ = 0{т,п), ВД = 1, У(1) = 1).

Определение 14. Для всяких (т, п)-кортежей X и У: Z есть ^>{т,п)-напарник упорядоченной пары (X, У) тогда и только тогда, когда верно следующее: (^ = 1{т,п), X(1)=0 или У(1)=1) или (Z = 0{т,п), X(1)=0, У(1) = 1).

Определение 15. Для всякого (т, п)-кортежа X: Z есть ^{т п)-напарник (т, п)-кортежа X тогда и только тогда, когда Z есть такое отображение множества {1,..., п, п+1} в множество {0,1}, что верны следующие утверждения: (1) Z(1)=X(2),..., (п) Z(n)=X(n+1), (п+1,а) Z(п+1)=1, если X(n+1)=0, (и+1,Ъ) Z(п+1)=0, если X(n+1)=1.

Замечание 5. Понятно, что для всяких (т, п)-кортежей X и У: любой &(т>п)-напарник упорядоченной пары (X, У) является

отображением множества {1,..., п, п+1} в множество {0,1}, любой У{тп)-напарник упорядоченной пары (X, У) является отображением множества {1,. . . , п, п+1} в множество {0,1}, любой ^{т,п)-напарник упорядоченной пары (X, У) является отображением множества {1,..., п, п+1} в множество {0,1}, любой -{тп)-напарник (т, п)-кортежа X является отображением множества {1,..., п,п+1} в множество {0,1}.

Замечание 6. Разумеется, что существует (а) единственное множество всех упорядоченных троек, каждая из которых имеет вид (X,У,^), где X и У являются (т, п)-кортежами, а Z есть &{тп)-напарник упорядоченной пары (X,У), (б) единственное множество всех упорядоченных троек, каждая из которых имеет вид (X,У,^), где X и У являются (т, п)-кортежами, а Z есть У{тп)-напарник упорядоченной пары (X,У), (в) единственное множество всех упорядоченных троек, каждая из которых имеет вид (X,У,^), где X и У являются (т, п)-кортежами, а Z есть ^>{т,п)-напарник упорядоченной пары (X,У), (г) единственное множество всех упорядоченных пар, каждая из которых имеет вид ^^), где X есть (т, п)-кортеж, а Z есть -{тп)-напарник (т, п)-кортежа X.

Соглашение 9. Множество всех упорядоченных троек, каждая из которых имеет вид (X, У, Z), где X и У являются (т, п)-кортежами, а Z есть &{тп)-напарник упорядоченной пары (X,У), обозначаем

через &{т,п).

Соглашение 10. Множество всех упорядоченных троек, каждая из которых имеет вид (X, У, Z), где X и У являются (т, п)-кортежами, а Z есть (т, п)-напарник упорядоченной пары (т,п), обозначаем

через 4{т,п).

Соглашение 11. Множество всех упорядоченных троек, каждая из которых имеет вид (X, У, Z), где X и У являются (т, п)-кортежами, а Z есть & ^>{т,п)-напарник упорядоченной пары (X,У), обозначаем

через Э{т,п).

Соглашение 12. Множество всех упорядоченных пар, каждая из которых имеет вид ), где X есть {ш, п)-кортеж, а 2 есть

—{т>п>-напарник {ш, п)-кортежа X, обозначаем через -{т,п>.

Лемма 2. Для всяких {ш, п)-кортежей X и У и для всякого Z: если Z есть &{тп>-напарник упорядоченной пары {X,У), то Z есть {ш, п)-кортеж.

Докажем лемму 2.

(1) X и У являются {ш, п)-кортежами (допущение).

(2) 2 есть &{тп>-напарник упорядоченной пары ) (допущение).

(3) (2 = 1{тп>, X(1) = 1, У(1) = 1) или (2 = 0{т,п>, X(1) = 1, У(1) = 1)

(из (2), по определению 12).

(4) 2 = 1{т,п> или 2 = 0{т , п> (из (3)).

Разумеется, что (5) 1{т,п> и 0{т,п> являются {ш, п)-кортежами.

(6) 2 есть {ш, п)-кортеж (из (4) и (5)). Снимая допущение (2) и обобщая, получаем, что

(7) для всякого Z: если Z есть &{тп>-напарник упорядоченной пары {X,У), то Z есть {ш, п)-кортеж.

Снимая допущение (1) и обобщая, завершаем доказательство леммы 2. Лемма 2 доказана.

Лемма 3. Для всяких {ш, п)-кортежей X и У и для всякого Z: если Z есть У{тп>-напарник упорядоченной пары {X,У), то Z есть {ш, п)-кортеж.

Доказательство леммы 3 аналогично данному выше доказательству леммы 2.

Лемма 4. Для всяких {ш, п)-кортежей X и У и для всякого Z: если Z есть Э{т>п>-напарник упорядоченной пары {X,У), то Z есть {ш, п)-кортеж.

Доказательство леммы 4 аналогично данному выше доказательству леммы 2.

Лемма 5. Для всякого (т, п)-кортежа X и для всякого Z: если Z

есть -{т п)-напарник (т, п)-кортежа X, то Z есть (т, п)-кортеж.

Докажем лемму 5.

(1) X есть (т, п)-кортеж (допущение).

(2) Z есть -{т п)-напарник (т, п)-кортежа X (допущение).

Опираясь на утверждения (1) и (2) и определение 15, получаем, что

(3) Z есть такое отображение множества {1,..., п, п+1} в множество {0,1}, что верны следующие утверждения: (1) Z(1)= X(2),..., (n)Z(п)= X(п + 1), (п+1,а^(п+1)=1, если X(п+1)=0, (п+1,Ъ) Z(п+1)=0, если X(п+1)=1.

(4) X есть такое отображение множества {1,..., п, п+1} в множество {0,1}, что для всякого целого числа 1: если т+1< 1 < п+1 и X(1)=1, то X(1+1)=0 (из (1), по определению 6).

(5) г есть целое число (допущение).

(6) т + 1 < г < п + 1 и Z(г) = 1 (допущение).

(7) т + 1 < г <п + 1 (из (6)).

(8) Z(г)=1 (из (6)).

(9) Z(г)= X(г+1) (из (3), (5) и (7)).

(10) г < п или г = п (из (5) и (7)).

(11) Для всякого целого 1: если т + 1 < 1 < п + 1 и X (1)=1, то X(1+1)=0 (из (4)).

(12) г < п (допущение).

(13) г + 1 <п + 1 (из (12)).

(14) ш + 1 < г (из (7)).

(15) ш + 1 < г + 1 (из (14)).

(16) ш + 1 < г + 1 <п + 1 (из (13) и (15)).

(17) X(г + 1) = 1 (из (8) и (9)). Разумеется, что (18) г + 1 есть целое число.

(19) X(г + 2) = 0 (из (11), (16), (17) и (18)).

(20) 2(г + 1) = 0 (из (3), (13) и (19)). Снимая допущение (12), получаем, что

(21) если г < п, то 2(г + 1) = 0.

(22) г = п (допущение).

(23) 2(п) = 1 (из (8) и (22)).

(24) 2(п^(п+1) (из (9) и (22)).

(25) X(п+1)=1 (из (23) и (24)).

(26) 2(п+1)=0 (из (3) и (25)).

(27) 2(г+1)=0 (из (22) и (26)). Снимая допущение (22), получаем, что

(28) если г = п, то 2(г+1)=0.

(29) 2(г+1)=0 (из (10), (21) и (28)).

Снимая допущения (6) и (5) и обобщая, получаем, что

(30) для всякого целого числа 1: если ш + 1 < 1 < п + 1 и 2(1)=1, то 2(г+1)=0.

(31) 2 есть отображение множества {1,..., п, п+1} в множество {0,1} (из (3)).

(32) Z есть (т, п)-кортеж (из (30) и (31), по определению 6).

Снимая допущение (2) и (1) и обобщая, завершаем доказательство леммы 5. Лемма 5 доказана.

Лемма 6. Для всяких (т, п)-кортежей X и У существует единственный &(т,п)-напарник упорядоченной пары (X,У).

Докажем лемму 6.

(1) X и У являются (т, п)-кортежами (допущение).

(2) X(1)=1 и У(1)=1 (допущение).

(3) 1(т,п) есть &(т п)-напарник упорядоченной пары (X,У) (из (1) и (2), по определению 12).

(4) Существует &^тп)-напарник упорядоченной пары (X,У) (из (3)).

Снимая допущение (2), получаем, что

(5) если X(1)=1 и У(1)=1, то существует &^тп)-напарник упорядоченной пары (X,У).

(6) X(1)=1 или У(1)=1 (допущение).

(7) 0(т,п) есть &(т п)-напарник упорядоченной пары (X,У) (из (1) и (6), по определению 12).

(8) Существует &^тп)-напарник упорядоченной пары (X,У) (из

(7)).

Снимая допущение (6), получаем, что

(9) если X(1)=1 или У(1)=1, то существует &^тп)-напарник упорядоченной пары (X, У).

(10) Существует &^тп)-напарник упорядоченной пары (X,У) (из (5) и (9)).

(11) 21 и 22 являются &{т п>-напарниками упорядоченной пары {X,У) (допущение).

(12) (21 = 1{т,п>, X (1) = 1, У (1) = 1) или (21 = 0{т,п>, X (1) = 1 или У(1)=1) (из (1) и (11), по определению 12).

(13) (22 = 1{т,п>, X (1) = 1, У (1) = 1) или (22 = 0{т,п>, X (1) = 1 или У(1)=1) (из (1) и (11), по определению 12).

В свете утверждений (12) и (13) ясно, что верны следующие утверждения (14) и (15).

(14) Если X(1)=1 и У(1)=1, то 21 = 22.

(15) Если X(1)=1 или У(1)=1, то 21 = 22.

(16) 21 = 22 (из (14) и (15)).

Снимая допущение (11) и обобщая, получаем, что

(17) для всяких Zl и Z2: если Zl и Z2 являются &{тп>-напарниками упорядоченной пары {X,У), то Zl = Z2.

В свете утверждений (10) и (17) ясно, что

(18) существует единственный &{т п>-напарник упорядоченной пары {X,У).

Снимая допущение (1) и обобщая, завершаем доказательство леммы 6. Лемма 6 доказана.

Лемма 7. Для всяких {ш, п)-кортежей X и У существует единственный У{тп>-напарник упорядоченной пары {X,У).

Можно построить доказательство леммы 7, аналогичное данному выше доказательству леммы 6.

Лемма 8. Для всяких {ш, п)-кортежей X и У существует единственный ^{т,п>-напарник упорядоченной пары {X,У).

Можно построить доказательство леммы 8, аналогичное данному выше доказательству леммы 6.

Лемма 9. Для всякого (т, п)-кортежа X существует единственный -1(т,п)-напарник (т, п)-кортежа X.

Докажем лемму 9.

(1) X есть (т, п)-кортеж (допущение).

Разумеется, что (2) множество {(1^(2)),..., (пX(п + 1)), (п + 1,1)} и множество {(1^(2)),..., X(п + 1)), (п + 1, 0)} являются отображениями множества {1,..., п, п+1} в множество {0,1}. Ясно, что (3^(п+1)=0 или X(п+1)=1.

(4) X(1)=0 (допущение).

Опираясь на утверждения (1), (2), (4) и на определение 15, получаем, что

(5) множество {(1, X(2)),..., (п^(п + 1)), (п + 1,1)} есть —{т,п)-напарник (т, п)-кортежа X.

(6) Существует — {тп)-напарник (т, п)-кортежа X (из (5)). Снимая допущение (4), получаем, что

(7) если X(1)=0, то существует — {т п)-напарник (т, п)-кортежа X.

(8) X(1)=1 (допущение).

Опираясь на утверждения (1), (2), (4) и на определение 15, получаем, что

(9) множество {(1X (2)),..., (n,X (п + 1)), (п + 1, 0)} есть —{т,п)-напарник (т, п)-кортежа X.

(10) Существует — {тп)-напарник (т, п)-кортежа X (из (9)). Снимая допущение (8), получаем, что

(11) если X(1)=1, то существует — {т п)-напарник (т, п)-кортежа X.

(12) Существует —{т п)-напарник (т, п)-кортежа X (из (3), (7) и (11)).

(13) 21 и 22 являются т п>-напарниками {ш, п)-кортежа X (допущение).

(14) 21 = 22 (допущение).

Опираясь на утверждения (13) и (14) и на определение 15, получаем, что

(15) существует такое 1 из {1,..., п, п+1}, что 21(1)= 22(1). Пусть (16) г е {1,..., п, п+1}, 21 (г) = 22(г).

(17) г е {1,..., п, п+1} (из (16)).

(18) 21(г)= 22(г) (из (16)).

(19) г е {1,..., п} или г = п+1 (из (18)).

(20) г е {1,..., п} (допущение).

(21) 21 (г) = X(г+1) и 22(г)= X(г+1) (из (13) и (20), по определению 15).

(22) 21(г)= 22(г) (из (21)).

Утверждение (22) противоречит утверждению (18). Следовательно, неверно допущение (20). Итак, (23) неверно, что г е{1,..., п}.

(24) г = п+1 (из (19) и (23)).

(25) X(п+1)=0 (допущение).

(26) 21(п+1)=1 и 22(п+1)=1 (из (13) и (25), по определению 15).

(27) 21(г)=1 и 22(г)=1 (из (24) и (26)).

(28) 21(г)=22(г) (из (27)).

Утверждение (28) противоречит утверждению (18). Следовательно, неверно допущение (25). Итак, (29) неверно, что X(п + 1) = 0.

(30) X(п+1)=1 (из (3) и (29)).

(31) Zl(n+1)=0 и Z2(n+1)=0 (из (13) и (30), по определению 15).

(32) Zl(г)=0 и Z2(г)=0 (из (24) и (31)).

(33) Zl(i)= Z2(i) (из (32)).

Утверждение (33) противоречит утверждению (18). Следовательно, неверно допущение (14). Итак, (34) Z1 = Z2.

Снимая допущение (13) и обобщая, получаем, что

(35) для всякого Zl и для всякого Z2: если Zl и Z2 являются —{т,п)-напарниками (т, п)-кортежа X, то Z1 = Z2.

Опираясь на утверждения (12) и (35), получаем, что

(36) существует единственный —{тп)-напарник (т, п)-кортежа X.

Снимая допущение (1) и обобщая, завершаем доказательство леммы 9. Лемма 9 доказана.

Лемма 10. &{т,п) есть бинарная операция на С{т,п).

Докажем лемму 10.

Согласно стандартному определению бинарной операции на заданном множестве, для доказательства леммы 10 достаточно доказать следующие утверждения (А), (Б) и (В)2.

(A) &{т п) включается в декартово произведение С{т,п) х С{т,п) х

С{т,п),

(Б) для всяких X и У из С{т,п) существует такой Z, что (X, У, Z) €

&{т,п),

(B) для всяких X, У, Z1 и Z2: если (X, У, Z1) € &{т,п) и (X, У, Z2) € &{т,п), то Zl = Z2.

2Определение, о котором идет речь, гласит, что f есть бинарная операция на множестве М, если выполняются следующие условия (1), (п) и (ш): (1) ^ включается в декартово произведение М х М х М, (п) для всяких к и у из М существует такой 2, что { х, у, г ) £ f, (Ш) для всяких х, у, 21 и если { х, у, 71 } £ f и { х, У, 22 } £ f, то 71=72.

Докажем утверждение (А).

(1) а е &{т,п> (допущение).

Опираясь на утверждение (1) и соглашение 9, получаем, что

(2) а принадлежит множеству всех упорядоченных троек, каждая из которых имеет вид {X, У, 2), где X и У являются {ш, п)-кортежами, а 2 есть &{т,п>-напарник упорядоченной пары {X,У).

(3) Существуют X, У и Z, выполняющие условие: а = {X, У, Z), X и У являются {ш, п)-кортежами, Z есть &{т п>-напарник упорядоченной пары {X, У) (из (2)).

Пусть (4) а = {X,У,2), X и У являются {ш, п)-кортежами, 2 есть &{тп>-напарник упорядоченной пары {X,У).

(5) а = ^,У,2) (из (4)).

(6) X и У являются {ш, п)-кортежами (из (4)).

(7) 2 есть &{тп>-напарник упорядоченной пары {X,У) (из (4)).

(8) 2 есть {ш, п)-кортеж (из (6) и (7), по лемме 2). Опираясь на утверждения (6), (8) и замечание 4, получаем, что

(9) X, У и 2 е 0\т,п>.

В свете утверждения (9) ясно, что

(10) ^,У,2) е С

{т,п> ^ ^ {т,п> ^ ^ {т,п> ■

(11) а е С{т,п> X С{т,п> X С{т,п> (из (5) и (10)). Снимая допущение (1) и обобщая, получаем, что

(12) для всякого а: если а е &{т,п>, то а е С{т,п> X С{т,п> X С{т,п>.

Опираясь на утверждение (12) и определение теоретико-множественного включения, получаем, что &{т,п) включается

в С{т,п) х С{т,п) х С{т,п) ■

Утверждение (А) доказано. Докажем утверждение (Б).

(1) X,Y € С{т,п) (допущение).

Опираясь на утверждение (1) и замечание 4, получаем, что

(2) X и Y являются (т, п)-кортежами.

(3) Существует единственный &{тп)-напарник упорядоченной пары ^^) (из (2), по лемме 6).

Пусть (4) Z есть &{т,п)-напарник упорядоченной пары ^^). Разумеется, что (5) существует единственная упорядоченная тройка, первый член которой есть X, второй — Y, третий — Z.

В свете утверждений (2), (4), (5) и соглашения 9 ясно, что

(6) ) € &{т,п).

(7) Существует такой Z, что Z) € &{т,п) (из (6)).

Снимая допущение (1) и обобщая, завершаем доказательство утверждения (Б).

Утверждение (Б) доказано. Докажем утверждение (В).

(1) ^^^ € &{т,п) и € &{т,п) (допущение).

Опираясь на утверждение (1) и соглашение 9, получаем, что

(2) X и Y являются (т, п)-кортежами, Z1 есть &{тп)-напарник упорядоченной пары ^^), Z2 есть &{тп)-напарник упорядоченной пары ^^).

Опираясь на утверждение (2) и используя лемму 6, получаем, что (3) 21 = 22.

Снимая допущения (1) и обобщая, завершаем доказательство утверждения (В).

Утверждение (В) доказано. Лемма 10 доказана.

Лемма 11. У{т,п> есть бинарная операция на С^тп>.

Используя лемму 3 и лемму 7, можно построить доказательство леммы 11, аналогичное данному выше доказательству леммы 10.

Лемма 12. Э{т,п> есть бинарная операция на С{т,п>.

Используя лемму 4 и лемму 8, можно построить доказательство леммы 12, аналогичное данному выше доказательству леммы 10.

Лемма 13. —{т,п> есть унарная операция на С{т,п>.

Докажем лемму 13.

Согласно стандартному определению унарной операции на заданном множестве, для доказательства леммы 13 достаточно доказать следующие утверждения (А), (Б) и (В)3.

(A) —{тп> включается в декартово произведение С{т,п> х С(т,п>, (Б) для всякого X из С{т,п> существует такой Z, что {X, Z) е —{тп>,

(B) для всяких X, Z1 и Z2: если {X, Z1) е —{т,п> и {X, Z2) е —{тп>, то Zl = Z2.

Докажем утверждение (А).

(1) а е —{т,п> (допущение).

3Определение, о котором идет речь, гласит, что f есть унарная операция на множестве М, если выполняются следующие условия (1), (п) и (ш): (1) ^ включается в декартово произведение М х М, (п) для всякого х из М существует такой г, что (х, г) £ f, (ш) для всяких х, г1 и г2: если (х, г1) £ f и (х, г2) £ f, то г1 = г2.

Опираясь на утверждение (1) и соглашение 12, получаем, что

(2) а принадлежит множеству всех упорядоченных пар, каждая из которых имеет вид (XX), где X есть (т, п)-кортеж, а Z есть (т, п)-напарник —{т,п)-кортежа X.

(3) Существуют X и Z, выполняющие условие: а = (X, Z), X есть (т, п)-кортеж, а Z есть —{т п)-напарник (т, п)-кортежа X (из (2)).

Пусть (4) а = (XX), X есть (т, п)-кортеж, Z есть — {т п)-напарник (т, п)-кортежа X.

(5) а = (XX) (из (4)).

(6) X есть (т, п)-кортеж (из (4)).

(7) Z есть —{тп)-напарник (т, п)-кортежа X (из (4)).

(8) Z есть (т, п)-кортеж (из (6) и (7), по лемме 5).

Опираясь на утверждения (6), (8) и замечание 4, получаем, что

(9) X,Z € С{т,п).

В свете утверждения (9) ясно, что

(10) XX) € С{т,п) х С{т,п).

(11) а € С{т,п) х С{т,п) (из (5) и (10)).

Снимая допущение (1) и обобщая, получаем, что

(12) для всякого а: если а € —{т,п), то а € С^тп) х С(тп).

Опираясь на утверждение (12) и определение теоретико-множественного включения, получаем, что —{тп) включается в

С{т,п) х С{т,п).

Утверждение (А) доказано. Докажем утверждение (Б).

(1) X € С{т,п) (допущение).

Опираясь на утверждение (1) и замечание 4, получаем, что

(2) X есть (т, п)-кортеж.

(3) Существует единственный — {т п)-напарник (т, п)-кортежа X (из (2), по лемме 9).

Пусть (4) Z есть т п)-напарник (т, п)-кортежа X. Разумеется, что (5) существует единственная упорядоченная пара, первый член которой есть X, второй —Z. В свете утверждений (2), (4), (5) и соглашения 12 ясно, что

(6) (XX) € —{т,п).

(7) Существует такой Z, что (X, Z) € —{т,п) (из (6)).

Снимая допущение (1) и обобщая, завершаем доказательство утверждения (Б).

Утверждение (Б) доказано. Докажем утверждение (В).

(1) € —{т,п) и ^Х2) € —{т,п) (допущение). Опираясь на утверждение (1) и соглашение 12, получаем, что

(2) X есть (т, п)-кортеж, Z1 есть —{т п)-напарник (т, п)-кортежа X, Z2 есть —{т п)-напарник (т, п)-кортежа X.

Опираясь на утверждение (2) и используя лемму 9, получаем, что

(3) ^ = Z2.

Снимая допущения (1) и обобщая, завершаем доказательство утверждения (В).

Утверждение (В) доказано.

Лемма 13 доказана.

Разумеется, существует единственная упорядоченная четверка, первый член которой есть &{т,п>, второй — V т п>, третий — Э{т,п>, а четвертый — —{т,п>, и существует единственная упорядоченная тройка, первый член которой есть С{т,п>, второй — 0{тп>, а третий —

{&{т ,п>, ^ {т, п>, Э{т ,п>, —{т, п>).

Замечание 7. В свете того, что множество 0{т,п> включается в множество С{т,п>, а &{т,п>, V {т,п>, {т,п> и —{т,п> операции на множестве С{т,п>, ясно, что {С {т,п>, В {т,п>, {&{т,п>, V{m,n>, т,п>, —{т,п>))

является логической матрицей. Соглашение 13. Логическую

матрицу {С {т ,п>,В{т, п>,

{&{т ,п>, V{m,n>, Э{m,n>, —{т,п>)) обозначаем через Щш,п) и называем {ш, п)-матрицей.

Соглашение 14. Результат применения операций • из {&{т,п>, V{m,n>, Э{т,п>} к упорядоченной паре {X,У) элементов множества С{т,п> обозначаем через (X • У), а результат применения операции —{т,п> к элементу X множества С{т,п> обозначаем через —{т,^^).

Определение 16. Называем М(ш, п)-оценкой (или оценкой в М(ш,п)) отображение множество всех пропозициональных переменных языка Ь в С{т,п>.

Определение 17. Называем М(ш, п)-означиванием при М(ш,п)-оценке р такое отображение д множества всех Ь-формул в множество С{т,п>, что выполняются следующие условия:

(1) для всякой пропозициональной переменной q языка Ь д(ч) =

р(я);

(2) для всяких Ь-формул А и В:

д((А&В))=(д(А)&{т,п>д(В)), g((AvB))=(g(A)V{m>n>g(B)), д((АэВ))=(д(А)Э{т,п> д(В)), д((—А))=—{т ,п> (д(А)).

Замечание 8. Можно доказать, что для всякой М(т, п)-оценки р существует единственное М(т, п)-означивание при р.

Соглашение 14. Обозначаем через | рт'п)М(т, п)-означивание при М(т, п)-оценке р, а результат применения | к ¿-формуле А

обозначаем через А^'п).

Определение 18. Называем А М(т, п)-общезначимой (или общезначимой в Ш(т,п)) ¿-формулой, если для всякой М(т, п)-оценки р А^'^ € 0{т,п).

Определение 19. Говорим, что А М(т, п)-следует из М (или из М М(т, п)-следует А), если выполняются три условия: (1) А есть ¿-формула, (2) М есть множество ¿-формул, (3) для всякой М(т, п)-оценки р верно, что если |Б|р{т'п) € В{т>п) для всякой ¿-формулы В из М, то |А|Р{т'п).

Определение 20. Называем -и-д-кортежем (где V есть 1{т, п)-оценка, а д есть пропозициональная переменная языка ¿) такое отображение ф множества {1,..., п, п+1} на множество [0](д)),..., v(—[п_1](д)), V(—1[п] (д))}, что для всякого 1 из {1,..., п,п +1} ф(1)= v( — [1_1](д)).

Замечание 9. Понятно, что для всякой ,п)-оценки V и для всякой пропозициональной переменной q языка ¿ существует единственный v-q-кортеж.

Соглашение 15. Условимся обозначать v-g-кортеж (где V есть 1{т п)-оценка, а д есть пропозициональная переменная языка ¿) через ^-д-еот!).

Лемма 14. Для всякой 1{тп)-оценки V и для всякой пропозициональной переменной q языка ¿ ^^-сог!) есть (т, п)-кортеж.

Докажем лемму 14.

(1) V есть , п)-оценка (допущение).

(2) д есть пропозициональная переменная языка ¿ (допущение).

(3) ^-д-сог1;) есть v-д-кортеж (из (1) и (2), по соглашению 15).

(4) (-и-д-сот!) есть отображение множества {1,..., п, п+1} в множество {у(—[°](д)),..., v(—[п-11(д)), у(—[п](д))} (из (3), по определению 20).

Разумеется, что (5)—[°](д),..., —[п-1](д), —[п](д) являются квазиэлементарными Ь-формулами, длина каждой из которых < п.

(6) V есть /{тп>-предоценка (из (1), по определению 2).

(7) V есть отображение множества всех квазиэлементарных Ь-формул, длина каждой из которых < п, в множество {0,1} (из (6), по определению 1).

(8) v(—[°](д))е{0,1},..., v(—[п-1](д))е{0,1}, V—[п](д))е{0,1} (из (5) и (6)).

Опираясь на утверждение (8), получаем, что

(9) множество [°](д)),..., v(—[п-1](д)), v(—[п](д))} включается в множество {0,1}.

В свете утверждений (4) и (9) ясно, что

(10) ^-д-сот!) есть отображение множества {1,..., п, п+1} в множество {0,1}.

(11) г есть целое число (допущение).

(12) ш+1< г < п+1 и ^-д-соЛ)(г)=1 (допущение).

(13) ш+1< г < п+1 (из (12)).

(14) ^-д-сой;)(г)=1 (из (12)).

(15) ^-д-сог^(г) = v(—[п-1](д)) (из (1), (2), с использованием определения 20 и соглашения 15).

(16) v(—[п—1](д))=1 (из (14) и (15)).

(17) ш < г - 1 <п (из (13).

Ясно, что (18) Ь(—['-11(д)) = г - 1.

(19) т < Н(—\'-1](д))< п (из (17) и 18)).

(20) v((——1](д)))=0 (из (1), (16) и (19), по определению 2). Разумеется, что (21) (——['-1](д)) есть —'(д).

(22) v(—%))=0 (из (20) и (21)).

Опираясь на утверждение (11) и (13), получаем, что

(23) г+1€ {1,..., п, п+1}.

(24) ^-д-сог1;)(г+1)=и(—['](д)) (из (1) и (2), по определению 20 и по соглашению 15).

(25) ^-д-со]^)(г+1)=0 (из (22) и (24)). Снимая допущение (12), получаем, что

(26) если т+1< г < п+1 и ^-д-соЛ)(г)=1, то ^-д-сог^)(г+1)=0. Снимая допущение (11) и обобщая, получаем, что

(27) для всякого целого числа 1: если т + 1 < 1 < п + 1 и ^-д-соЛ)(1)=1, то (v-g-cort)(i+1)=0.

(28) (v-д-cort) есть (т, п)-кортеж (из (10) и (27), по определению 6).

Снимая допущения (2) и (1) и обобщая, завершаем доказательство

леммы 14.

Лемма 14 доказана.

Продолжение статьи планируется к публикации в следующем номере «Логических исследований».

Литература

[1] Попов В. М. Секвенциальная аксиоматизация и семантика /-логик васильевского типа // Логические исследования 2016. Т. 22. № 1. С. 33-69.

Popov V.M

To the Problem of Characterization of Logic of the Vasiliev Type: on Tabularity I(xy)(x,y e{0, 1, 2,... } and x < y). Part I

Popov Vladimir Mikhailovich

Department of Logic, Faculty of Philosophy, Lomonosov Moscow State University Lomonosovsky prospect, 27-4, GSP-1, Moscow, 119991, Russian Federation. E-mail: pphiloslog@mail.ru

In this article, continuing the work carried out in [1], the problem of tabularity of the /-logics of the Vasiliev type (propositional logic is called tabular if it has a finite characteristic matrix). The main result obtained in this article: for any non-negative integers x and y, the first of which is less than the second, the logic /\x>y) is tabular (the class of all such logics is an infinite subclass of the class of all /-logics of the Vasiliev type). The proposed study is based on the use of the results obtained in [1], and on the use of the authors' "cortege semantics". To achieve the above main result, we show how on arbitrary nonnegative integer numbers m and n, satisfying the inequality m < n, is constructed logic matrix M(m,n), which is the finite characteristic matrix of logic /(m,n). Since the carrier of the logical matrix M(m,n) is some set of 0-1-corteges, the semantics based on this logical matrix is naturally called the cortege semantics. Important note: the article is published in two parts. Before you the first part of the article, the second part of the article is planned to be published in the second issue of "Logical Investigations" for 2017.

Keywords: /-logic /(mn)(m,n £ {0,1, 2,...} and m < n), the two-valued semantics of the /-logic / m n)(m,n £ {0,1, 2,...} and m < n), the cortege semantics of the /-logic /^m,n) (m, n £ {0,1, 2,...} and m < n)

References

[1] Popov, V.M. "Sekventsial'naya aksiomatizatsiya i semantika J-logik vasil'evskogo tipa" [Sequential axiomatization and semantics /-logic of the Vasiliev type], Logicheskie issledovaniya [Logical research], 2016, Vol. 22, No. 1, pp. 33-69. (In Russian)