Трехзначная логика

Эта статья требует дополнительных ссылок для проверки . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален.
Найдите источники: «Трехзначная логика» - новости · газеты · книги · ученый · JSTOR ( январь 2011 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

В логике , А трехзначная логика (также Trinary логики , трехвалентный , тройная или trilean , ^[1] иногда сокращенно 3VL ) является одной из нескольких многозначных логических систем , в которых имеются три значения истинности , указывающее истинно , ложно , и какие - то неопределенное третье значение. Это контрастирует с более широко известными бивалентными логиками (такими как классическая сентенциальная или логическая логика ), которые предусматривают только истину и ложь .

Эмилю Леону Посту часто приписывают первое введение дополнительных логических степеней истинности в его теорию элементарных предложений 1921 года . Тем не менее, более десяти лет назад Чарльз Сандерс Пирс уже определил многозначную логическую систему . Он просто никогда не публиковал это. Фактически, он даже не пронумеровал три страницы заметок, где определял свои трехзначные операторы. ^[2] Пирс категорически отверг идею, что все предложения должны быть либо истинными, либо ложными; он пишет, что граничные предложения находятся «на границе между Р и не Р». ^[3]Однако как бы он ни был уверен в том, что «Триадическая логика универсально верна», он также записал, что «Все это очень близко к чепухе». Возможно, неудивительно, что только в 1966 году, когда Макс Фиш и Этвелл Туркетт начали публиковать то, что они заново открыли в его неопубликованных рукописях, триадные эксперименты Пирса стали широко известны. ^[4]

Концептуальную форму и основные идеи изначально создали Ян Лукасевич и Кларенс Ирвинг Льюис . Затем они были переформулированы Григоре Константином Мойсилом в аксиоматической алгебраической форме, а также распространены на n- значные логики в 1945 году.

Представление ценностей [ править ]

Как и в случае с бивалентной логикой, значения истинности в троичной логике могут быть представлены численно с использованием различных представлений троичной системы счисления . Вот несколько наиболее распространенных примеров:

в сбалансированной троичной системе каждая цифра имеет одно из трех значений: -1, 0 или +1; эти значения также могут быть упрощены до -, 0, + соответственно; ^[5]
в избыточном двоичном представлении каждая цифра может иметь значение -1, 0, 0/1 (значение 0/1 имеет два разных представления);
в троичной системе счисления каждая цифра представляет собой троицу (тройную цифру), имеющую значение: 0, 1 или 2;
в асимметричной двоичной системе счисления только наиболее значимая ненулевая цифра имеет значение 2, а остальные цифры имеют значение 0 или 1;
1 для истинного , 2 для ложного и 0 для неизвестного , непознаваемого / неразрешимого , нерелевантного или того и другого ; ^[6]
0 - ложь , 1 - истина и третий нецелочисленный символ «может быть», такой как?, #, ½, ^[7] или xy.

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

Эта статья в основном иллюстрирует систему троичной логики высказываний с использованием значений истинности {false, unknown, true} и расширяет обычные булевы связки на трехвалентный контекст. Также существуют тернарные логики предикатов ; ^{[ необходима цитата ]} они могут иметь показания квантора, отличные от классической (бинарной) логики предикатов, а также могут включать альтернативные кванторы.

Логика [ править ]

Если логическая логика имеет 2 ² = 4 унарных оператора , добавление третьего значения в тернарной логике приводит в общей сложности к 3 ³ = 27 различным операторам для одного входного значения. Аналогично, если в булевой логике 2 ^{2 × 2} = 16 различных бинарных операторов (операторов с 2 входами), в тернарной логике 3 ^{3 × 3} = 19 683 таких оператора. Где мы можем легко назвать значительную часть логических операторов ( not , and , or , nand , nor , исключающее или , эквивалентность , импликация), неразумно пытаться назвать все возможные тернарные операторы, кроме небольшой части. ^[8]

Kleene and Priest Logics [ править ]

Ниже приводится набор таблиц истинности, показывающих логические операции для «строгой логики неопределенности» Стивена Коула Клини и «логики парадокса» Грэма Приста .

(F - ложь; U - неизвестно; T - истина)

НЕ (А)
А	¬A
F	Т
U	U
Т	F

И (А, В)
А ∧ Б		B
А ∧ Б		F	U	Т
А	F	F	F	F
	U	F	U	U
	Т	F	U	Т

ИЛИ (A, B)
А ∨ Б		B
А ∨ Б		F	U	Т
А	F	F	U	Т
	U	U	U	Т
	Т	Т	Т	Т

(-1, ложь; 0, неизвестно; +1, истина)

ОТРИЦАТЕЛЬНЫЙ (A)
А	¬A
−1	+1
0	0
+1	−1

МИН (A, B)
А ∧ Б		B
А ∧ Б		−1	0	+1
А	−1	−1	−1	−1
	0	−1	0	0
	+1	−1	0	+1

МАКС (А, В)
А ∨ Б		B
А ∨ Б		−1	0	+1
А	−1	−1	0	+1
	0	0	0	+1
	+1	+1	+1	+1

В этих таблицах истинности неизвестное состояние не может считаться ни истинным, ни ложным в логике Клини, или как истинным и ложным в логике Жреца. Разница заключается в определении тавтологий. Там, где единственным обозначенным значением истинности логики Клини является Т, обозначенными значениями истинности логики Жреца являются как Т, так и U. В логике Клини знание того, представляет ли какое-либо конкретное неизвестное состояние тайно истинное или ложное в любой момент времени, недоступно. Однако некоторые логические операции могут дать однозначный результат, даже если они включают хотя бы один неизвестный операнд. Например, потому что истина ИЛИ истина равна истине , иистина ИЛИ ложь также равна истине , можно сделать вывод, что истина ИЛИ неизвестно также равна истине . В этом примере, поскольку любое двухвалентное состояние может лежать в основе неизвестного состояния, но любое состояние также дает тот же результат, окончательные истинные результаты во всех трех случаях.

Если числовые значения, например сбалансированные троичные значения, присваиваются значениям false , unknown и true , так что false меньше, чем unknown, а unknown , меньше true , тогда A AND B AND C ... = MIN (A, B, C .. .) и A ИЛИ B ИЛИ C ... = МАКС (A, B, C ...).

Существенное значение для логики Клини можно определить как:

${\ displaystyle A \ rightarrow B \ {\ overset {\ underset {\ mathrm {def}} {}} {=}} \ {\ mbox {OR}} (\ {\ mbox {NOT}} (A), \ B)}$ , и его таблица истинности

IMP _K (A, B), ИЛИ (¬A, B)
А → Б		B
А → Б		F	U	Т
А	F	Т	Т	Т
	U	U	U	Т
	Т	F	U	Т

IMP _K (A, B), МАКС (-A, B)
А → Б		B
А → Б		−1	0	+1
А	−1	+1	+1	+1
	0	0	0	+1
	+1	−1	0	+1

которая отличается от логики Лукасевича (описанной ниже).

В логике Клини нет тавтологий (действительных формул), потому что всякий раз, когда всем атомарным компонентам правильно сформированной формулы присваивается значение Неизвестно, сама формула также должна иметь значение Неизвестно. (И единственное обозначенное значение истинности для логики Клини - Истина.) Однако отсутствие действительных формул не означает, что в ней отсутствуют действительные аргументы и / или правила вывода. Аргумент семантически действителен в логике Клини, если всякий раз (для любой интерпретации / модели) все его предпосылки истинны, вывод также должен быть истинным. (Обратите внимание, что Логика Парадокса (LP) имеет те же таблицы истинности, что и логика Клини, но имеет два обозначенныхзначения истинности вместо единицы; это: Истина и Оба (аналог Неизвестного), так что LP действительно имеет тавтологии, но имеет меньше действительных правил вывода.) ^[9]

Логика Лукасевича [ править ]

Лукасевич №3 имеет те же таблицы для И, ИЛИ и НЕ, что и приведенная выше логика Клини, но отличается в своем определении импликации тем, что «неизвестное подразумевает неизвестное» истинно . Этот раздел следует за презентацией главы Малиновского « Справочника по истории логики» , том 8. ^[10]

Существенное значение для логической таблицы истинности Лукасевича:

IMP _Ł (A, B)
А → Б		B
А → Б		F	U	Т
А	F	Т	Т	Т
	U	U	Т	Т
	Т	F	U	Т

IMP _Ł (A, B), МИН (1, 1 − A + B)
А → Б		B
А → Б		−1	0	+1
А	−1	+1	+1	+1
	0	0	+1	+1
	+1	−1	0	+1

Фактически, используя импликацию и отрицание Лукасевича, другие обычные связки могут быть получены как:

$А \lor В = (А \to В) \to В$
$A \land B = \neg (\neg A \lor \neg B)$
$А \Leftrightarrow В = (А \to В) \land (В \to А)$

Также возможно вывести несколько других полезных унарных операторов (впервые выведенных Тарским в 1921 году):

$M A = \neg A \to А$
$L A = \neg M \neg A$
$I A = M A \land \neg L A$

У них есть следующие таблицы истинности:

$А$	$M A$
F	F
U	Т
Т	Т

$А$	$L A$
F	F
U	F
Т	Т

$А$	$Я А$
F	F
U	Т
Т	F

M читается как «это не ложь, что ...» или в (неудачной) попытке Тарского – Лукасевича аксиоматизировать модальную логику, используя трехзначную логику, «возможно, что ...« L читается », это так. правда, что ... "или" необходимо, чтобы ... "Наконец я читал" неизвестно, что ... "или" возможно, что ... "

В №3 Лукасевича обозначенное значение - Истина, а это означает, что тавтологией считается только предложение, имеющее это значение повсюду . Например, $A \to A$ и $A \leftrightarrow A$ - тавтологии в Ł3, а также в классической логике. Не все тавтологии классической логики переводятся в Ł3 «как есть». Например, закон исключенного третьего , $\lor \neg$ $A$ , а закон непротиворечия , $\neg ($ $\land \neg$ $)$ не являются тавтологии в l3. Однако с помощью оператора $I$ Определенные выше, можно сформулировать тавтологии, являющиеся их аналогами:

$A \lor I A \lor \neg A$ ( закон исключенной четверти )
$\neg (A \land \neg I A \land \neg A)$ ( расширенный принцип противоречия ).

Логика Бочвара [ править ]

Этот раздел пуст. Вы можете помочь, добавив к нему . ( Август 2014 г. )

Логика Ternary Post [ править ]

not (a) = (a + 1) mod 3, или

not (a) = (a + 1) mod (n), где (n) - значение логики

Модульные алгебры [ править ]

Некоторые модульные алгебры 3VL были введены совсем недавно, мотивированными проблемами схем, а не философскими вопросами: ^[11]

Алгебра Кона
Алгебра Прадхана
Дуброва и алгебра Муцио

Приложения [ править ]

SQL [ править ]

Язык структурных запросов базы данных SQL реализует троичную логику как средство обработки сравнений с содержимым поля NULL . Первоначальное намерение NULL в SQL состояло в том, чтобы представить отсутствующие данные в базе данных, то есть предположить, что фактическое значение существует, но что это значение в настоящее время не записано в базе данных. SQL использует общий фрагмент логики Kleene K3, ограниченный таблицами AND, OR и NOT.

В SQL промежуточное значение должно интерпретироваться как НЕИЗВЕСТНО. Явное сравнение с NULL, включая сравнение другого NULL, дает UNKNOWN. Однако от этого выбора семантики отказываются для некоторых операций над наборами, например UNION или INTERSECT, где NULL рассматриваются как равные друг другу. Критики утверждают, что это несоответствие лишает SQL интуитивной семантики при обработке значений NULL. ^[12] Стандарт SQL определяет дополнительную функцию под названием F571, которая добавляет некоторые унарные операторы, в том числе IS UNKNOWNсоответствующие операторы Лукасевича I в этой статье. Добавление IS UNKNOWNк другим операторам трехзначной логики SQL делает трехзначную логику SQL функционально завершенной , ^[13] это означает, что его логические операторы могут выражать (в комбинации) любую мыслимую трехзначную логическую функцию.

См. Также [ править ]

Бинарная логика (значения)
Булева алгебра (структура)
Логическая функция
Цифровая схема
Четырехзначная логика
Параконсистентная логика § Идеальная трехзначная паранепротиворечивая логика
Сетунь - экспериментальный российский компьютер, основанный на троичной логике.
Тернарная система счисления (и сбалансированная троичная )
Три состояния логики ( с тремя состояниями буфера )

Ссылки [ править ]

^ "Стэнфордский API JavaNLP" . Стэнфордский университет . Стэнфордская группа НЛП.
^ "Дедуктивная логика Пирса> Трехзначная логика Пирса (Стэнфордская энциклопедия философии)" . plato.stanford.edu . Проверено 30 июля 2020 .
Перейти ↑ Lane, R. (2001). «Триадическая логика» .
^ Лейн, Роберт. «Триадическая логика» . www.digitalpeirce.fee.unicamp.br . Проверено 30 июля 2020 .
^ Кнут, Дональд Э. (1981). Искусство программирования Том. 2 . Ридинг, Массачусетс: издательство Addison-Wesley Publishing Company. п. 190.
^ Хейс, Брайан (ноябрь – декабрь 2001 г.). «Третья база» (PDF) . Американский ученый . Сигма Си , Общество научных исследований. 89 (6): 490–494. DOI : 10.1511 / 2001.40.3268 . Архивировано (PDF) из оригинала 30.10.2019 . Проверено 12 апреля 2020 .
^ Нельсон, Дэвид (2008). Математический словарь Penguin. Четвертое издание . Лондон, Англия: Penguin Books. Запись для «трехзначной логики». ISBN 9780141920870.
↑ Дуглас У. Джонс, Стандартная тернарная логика , 11 февраля 2013 г.
^ http://www.uky.edu/~look/Phi520-Lecture7.pdf
^ Гжегож Малиновский, " Многозначная логика и ее философия " в Дов М. Габбэй, Джон Вудс (ред.) Справочник по истории логики Том 8. Многозначный и немонотонный поворот в логике , Elsevier, 2009
^ Миллер, Д. Майкл; Торнтон, Митчелл А. (2008). Многозначная логика: концепции и представления . Синтез лекций по цифровым схемам и системам. 12 . Издатели Morgan & Claypool. С. 41–42. ISBN 978-1-59829-190-2.
^ Рон ван дер Мейден, « Логические подходы к неполной информации: обзор » в Chomicki, Янв; Сааке, Гюнтер (ред.) Логика для баз данных и информационных систем , Kluwer Academic Publishers ISBN 978-0-7923-8129-7 , стр. 344; Препринт PS (примечание: нумерация страниц в препринте отличается от опубликованной версии)
^ CJ Date, Письма о реляционных базах данных, 1991–1994 , Addison-Wesley, 1995, p. 371

Дальнейшее чтение [ править ]

Бергманн, Мерри (2008). Введение в многозначную и нечеткую логику: семантика, алгебры и системы вывода . Издательство Кембриджского университета. ISBN 978-0-521-88128-9. Проверено 24 августа 2013 года ., главы 5-9
Мундичи, Д. C * -алгебры трехзначной логики. Логический коллоквиум '88, Труды коллоквиума, проведенного в Падуе 61–77 (1989). DOI : 10.1016 / s0049-237x (08) 70262-3
Райхенбах, Ганс (1944). Философские основы квантовой механики . Калифорнийский университет Press. Дувр 1998: ISBN 0-486-40459-5

Внешние ссылки [ править ]

Введение в многозначную логику Бертрама Фронхёфера. Раздаточный материал летнего класса 2011 года в Техническом университете Дрездена . (Несмотря на название, это почти полностью о трехзначной логике.)

[1] "Стэнфордский API JavaNLP" . Стэнфордский университет . Стэнфордская группа НЛП.

[2] "Дедуктивная логика Пирса> Трехзначная логика Пирса (Стэнфордская энциклопедия философии)" . plato.stanford.edu . Проверено 30 июля 2020 .

[3] Перейти ↑ Lane, R. (2001). «Триадическая логика» .

[4] Лейн, Роберт. «Триадическая логика» . www.digitalpeirce.fee.unicamp.br . Проверено 30 июля 2020 .

[5] Кнут, Дональд Э. (1981). Искусство программирования Том. 2 . Ридинг, Массачусетс: издательство Addison-Wesley Publishing Company. п. 190.

[6] Хейс, Брайан (ноябрь – декабрь 2001 г.). «Третья база» (PDF) . Американский ученый . Сигма Си , Общество научных исследований. 89 (6): 490–494. DOI : 10.1511 / 2001.40.3268 . Архивировано (PDF) из оригинала 30.10.2019 . Проверено 12 апреля 2020 .

[7] Нельсон, Дэвид (2008). Математический словарь Penguin. Четвертое издание . Лондон, Англия: Penguin Books. Запись для «трехзначной логики». ISBN 9780141920870.

[8] Дуглас У. Джонс, Стандартная тернарная логика , 11 февраля 2013 г.

[9] ttp://www.uky.edu/~look/Phi520-Lecture7.pdf

[10] Гжегож Малиновский, " Многозначная логика и ее философия " в Дов М. Габбэй, Джон Вудс (ред.) Справочник по истории логики Том 8. Многозначный и немонотонный поворот в логике , Elsevier, 2009

[11] Миллер, Д. Майкл; Торнтон, Митчелл А. (2008). Многозначная логика: концепции и представления . Синтез лекций по цифровым схемам и системам. 12 . Издатели Morgan & Claypool. С. 41–42. ISBN 978-1-59829-190-2.

[Meyden-12] Рон ван дер Мейден, « Логические подходы к неполной информации: обзор » в Chomicki, Янв; Сааке, Гюнтер (ред.) Логика для баз данных и информационных систем , Kluwer Academic Publishers ISBN 978-0-7923-8129-7 , стр. 344; Препринт PS (примечание: нумерация страниц в препринте отличается от опубликованной версии)

[13] CJ Date, Письма о реляционных базах данных, 1991–1994 , Addison-Wesley, 1995, p. 371

[1]

vтеНеклассическая логика
Интуиционистский	Интуиционистская логика Конструктивный анализ Арифметика Гейтинга Интуиционистская теория типов Конструктивная теория множеств
Нечеткое	Степень правдивости Нечеткое правило Нечеткое множество Нечеткий конечный элемент Операции с нечеткими множествами
Субструктурный	Структурное правило Логика релевантности Линейная логика
Паранепротиворечивый	Диалетеизм
Описание	Онтология Язык онтологий
Многозначный	Трехзначный Четырехзначный Лукасевич
Цифровая логика	Логика с тремя состояниями Буфер с тремя состояниями Четырехзначный Verilog IEEE 1164 VHDL