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