Бесконечнозначная логика как обобщение многозначной системы Поста

Исходя из системы Р_щ Поста, мы (А. Г.) строим бесконечнозначную систему G_х0. Значениями истинности являются 1 (ис­тина), 0 (ложь) и все дробные числа в интервале от 1 до 0,построенные в форме

и в форме где к — целочисленный показатель.

Это числа: 1, ½, ¼, ¾, 1/8, 7/8, 1/16, 15/16, …,

Операции: отрицание, дизъюнкция, импликация и эквиваленция в G_х0 — определены следующими равенствами:

1. Отрицание:

2. Дизъюнкция:

3. Конъюнкция:

4. Импликация:

5. Эквиваленция:

Отрицание в системе G_х0 является обобщением второго (сим­метричного) отрицания n -значной логики Поста. Посредством именно второго отрицания строятся конъюнкция, импликация и эквиваленция в системе G _х0. Система G_х0 построенная пред­ложенным способом, имеет множество тавтологий³⁴. Тавтологи­ей, например, является формула, гласящая, что отрицание р, повторенное два раза, даст первоначальное значение Тавтологиями в G_х0 будут четыре правила де Моргана.

Тавтологии в G_х0 являются тавтологиями в двузначной ло­гике, ибо бесконечнозначная система G_х0 является обобщением системы Р_я Поста, а последняя есть обобщение двузначной логики.

Для проверки правильности построения G_х0 предложенным нами способом на основании системы G_х0 построили систему G _3, взяв в качестве значений истинности 1, 1\2, 0. Система G ₃ совпадает с системой Р ₃Поста. Из системы G _х0 также вычленяется 4-значная система G ₄, значениями истинности аргументов которой являются 1, ½, ¼, 0, а значениями истинности функции: 1, ½, ¼, ¾, 0.

Отрицание определяется по формуле

Конъюнкция, дизъюнкция, импликация, эквиваленция в G ₄опре­делены табл. 23.

Таблица 23

В 4-значной системе G ₄содержится классическая двузначная логика [при значениях истинности 1 («истина») и 0 («ложь»)], а также система Р ₃Поста (при значениях истинности 1, 1/2, 0).

Аналогично из G_х0 вычленяется система G₅, а также G₆,,G₇ G ₈и т. д.

Об интерпретации системы G_х0