🖥️ Математика, Информатика и Инженерия ПО
Search
Поиск
Тёмный режим
Светлый режим
Проводник
Тег: Посылка
с этим тегом 4 элемента
04 нояб. 2025 г.
05. Формулы языка
Математическая-логика
Логика
Переменная
Синтаксическая-переменная
Область-изменения
Символ
Аксиома
Теорема
Формула-языка
Посылка
Заключение
04 нояб. 2025 г.
06. Формальная система
Математическая-логика
Логика
Переменная
Синтаксис
Синтаксическая-переменная
Область-изменения
Символ
Аксиома
Теорема
Формула-языка
Посылка
Заключение
Аксиоматическая-система
Формальная-система
04 нояб. 2025 г.
07. Логические связки утверждений
Математическая-логика
Логика
Посылка
Заключение
Тогда-и-только-тогда
Тогда
Только-тогда
Если-и-только-если
Если
Только-если
В-том-и-только-в-том-случае
В-том-случае
Только-в-том-случае
Необходимо-и-достаточно
Необходимое-условие
Достаточное-условие
Необходимое-и-достаточное-условие
27 окт. 2025 г.
01. Традиционная и математическая логики
Математическая-логика
Логика
Традиционная-логика
Посылка
Заключение
Противоречие
Парадокс
Рассуждение
Высказывание
Истина
Ложь
Исследуемая-логика
Исследующая-логика
Язык
Предметный-язык
Исследуемый-язык
Объектный-язык
Язык-исследователя
Исследующий-язык
Субъектный-язык
Предметная-логика
Логика-исследователя
Аксиома
Теорема
Основное-понятие
Производное-понятие
Парадокс-лжеца