Cтраница 1
Трехзначная логика была с успехом применена при изучении проблемы логических ( теоретико-множественных) парадоксов con. Бочвара в качестве третьего значения истинности фигурировала бессмыслица - но все высказывания считались выражающими осмысленные суждения - в частности, высказывания, соответствующие парадоксам теории множеств, не выражают в исчислении Бочвара никакого предложения. [1]
Трехзначная логика была с успехом применена при изучении проблемы логических ( теоретико-множественных) парадоксов сов. В исчислении Бочвара в качестве третьего значения истинности фигурировала бессмыслица - не все высказывания считались выражающими осмысленные суждения - в частности, высказывания, соответствующие парадоксам теории множеств, не выражают в исчислении Бочвара никакого предложения. [2]
Такие трехзначные логики могут быть заданы, аналогично классич. [3]
Классы функций трехзначной логики, замкнутые относительно операций суперпозиции и перестановки / / Вестник МГУ. [4]
Как известно, трехзначная логика содержит З3 27 различных функций одной переменной. Если матрица разбиения содержит всего три столбца и все они различные, то каждую строчку такой матрицы можно представить при помощи одной из 27 сингулярных функций. [5]
О классах функций трехзначной логики, замкнутых относительно операции специального вида / / Материалы пятой молодежной научной школы по дискретной математике и ее приложениям. [6]
В отличие от трехзначной логики Мак-Аллестера, логика, применяемая Дойлом, является фактически четырехзначной. Четыре значения в этой логике лучше всего представить в виде множеств, true, false, true, false, которые обозначают соответственно взаимную зависимость, истинность, ложность и противоречивость. Описанный ниже процесс отслеживания истинности предположений должен устранить противоречие из множества допущений, поэтому узлы сети могут иметь значения true, false только временно. [7]
Так, использование трехзначной логики Бочвара позволяет устранить парадоксы теории множеств. В этой логике различаются высказывания, имеющие смысл, и бессмысленные высказывания, причем предложения, выражающие известные парадоксы теории множеств, оказываются бессмысленными. [8]
Первые такие системы - трехзначная логика высказываний и n - значная логика высказываний - построены Я. [9]
Первые такие системы - трехзначная логика высказываний и n - значная логика высказываний - построены Я. [10]
В частности, рассмотрим трехзначную логику Я. [11]
Существует ровно 144 дискриминаторных класса трехзначной логики. [12]
Пусть имеется конечная система функций трехзначной логики S. Из критерия неявной полноты в Р3 следует, что над всякой неявно полной в Р3 системой по суперпозиции выразима конечная неявно полная система, состоящая из функций, зависящих только от двух переменных. [13]
Чтобы определить значения формул в трехзначной логике, необходимо задать таблицы истинности для всех пропозициональных связок. Конъюнкцию определим как минимум из двух значений ( так что, например, ЛЛН Л, а И Л Н Н), а дизъюнкцию - как максимум. [14]
Задачи, включающие стратегии поведения, требуют использования трехзначной логики или другого языка подобного типа. [15]