Пустая истина
Бессмысленная истина Пустая истина – условное или универсальное утверждение, которое истинно из-за отсутствия удовлетворения предшествующего утверждения. Утверждения, имеющие абсолютную истинность, […]
Вики
Математическая логика
Вики
Термин алгебра
Алгебра терминов Терминальные алгебры используются для изучения свойств и операций над терминами в формальных языках. Терминальные алгебры имеют область, в
Вики
Переписывание
Переписывание Системы перезаписи терминов являются формальными системами для переписывания терминов в алгебре. Термины состоят из двоичных операторов и унарного оператора.
Вики
Двойной турникет
Двойной турникет Двойной турникет используется в логике для обозначения семантического следствия или более сильного утверждения. Он тесно связан с символом
Вики
Турникет (символ)
Турникет (символ) Символ ⊢ (turnstile) используется в математической логике и информатике из-за сходства с турникетом. Турникет представляет собой бинарное отношение
Вики
Мереология
Мереология Мереология – это теория, которая заменяет разговоры о “множествах” объектов разговорами о “суммах” объектов. Мереология может быть формализована двумя
Вики
Равенство (математика)
Равенство (математика) Равенство – это отношение эквивалентности, которое удовлетворяет трем свойствам: рефлексивности, симметричности и транзитивности. Равенство может быть определено как
Вики
Функция-преемник
Функция преемника Функция-преемница в математике передает натуральное число следующему, обозначаемая через S. Функция-преемница является одним из основных компонентов для построения
Вики
Индикаторная функция
Функция индикатора Индикаторная функция используется в комбинаторике для представления множеств и операций над ними. Она представляет собой произведение 0s и
Вики
Функция истинности
Функция истинности Логические операторы используются для определения истинности или ложности предложений в логике. Логические операторы могут быть классифицированы по арности
Вики
Полнота (логика)
Полнота (логика) В математической логике и металогике полная система обладает свойством, что каждая формула с этим свойством может быть выведена
Вики
Особый случай
Особый случай В логике понятие A является частным случаем или специализацией понятия B, если каждый экземпляр A также является экземпляром
Вики
Сюрреалистическое число
Сюрреалистическое число Сюрреалистические числа – это набор чисел, которые не могут быть представлены в виде рациональных чисел. Сюрреалистические числа могут
Вики
Число Дедекинда
Число Дедекинда Числа Дедекинда – быстро растущая последовательность целых чисел, определенных Ричардом Дедекиндом в 1897 году. Число Дедекинда M(n) представляет
Вики
Ультрапродукт
Ультрапродуктовый продукт Ультрапродукты – обобщение понятия произведения множеств на ультрафильтры. Теорема Лосса утверждает, что формула первого порядка верна в ультрапродукте,
Вики
Тип (теория моделей)
Тип (теория моделей) Теория типов – это раздел математики, изучающий типы и их отношения. Типы могут быть определены как множества
Вики
Предикат истины
Предикат истинности Предикат истинности является фундаментальным понятием формальных теорий истины, основанных на предложениях формального языка. Языки, допускающие предикат истинности, основаны
Вики
Семантическая теория истины
Семантическая теория истины Семантическая теория истинности утверждает, что истинность является свойством предложений. Семантическая концепция истины возникла благодаря работам польского логика