Тег: Синтаксическая-переменная

24 янв. 2026 г.

• Математическая-логика
• Логика
• Переменная
• Синтаксис
• Синтаксическая-переменная
• Область-изменения
• Символ
• Аксиома
• Теорема
• Формула-языка
• Формула
• Посылка
• Заключение
• Аксиоматическая-система
• Формальная-система
• Исследуемая-логика
• Исследующая-логика
• Язык
• Предметный-язык
• Исследуемый-язык
• Объектный-язык
• Язык-исследователя
• Исследующий-язык
• Субъектный-язык
• Предметная-логика
• Логика-исследователя

22 дек. 2025 г.

• Математическая-логика
• Логика
• Переменная
• Синтаксическая-переменная
• Область-изменения
• Символ
• Аксиома
• Теорема
• Формула-языка
• Формула
• Посылка
• Заключение

29 нояб. 2025 г.

• Математическая-логика
• Логика
• Переменная
• Синтаксическая-переменная
• Синтаксическое-изучение
• Семантическое-изучение
• Аксиоматическая-система
• Курсив
• Жирный-курсив
• Сцепление
• Выражение
• Выражение-языка
• Область-изменения
• Символ
• Константа
• Аксиома
• Теорема