Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление предикатов
\
Истинность предложения в интерпретации
\
9.6.2.4.1.6. Определение истинности данного предложения в данной интерпретации
©
9.6.2.4.1.6.1. Предварительные замечания
9.6.2.4.1.6.2. Формальное определение
9.6.2.4.1.6.3. Последний штрих
9.6.2.4.1.6.4. Основополагающие понятия и теоремы
Начало см.
здесь
и
здесь
.
9.6.2.4.1.6.1. Предварительные замечания
9.6.2.4.1.6.2. Формальное определение
9.6.2.4.1.6.3. Последний штрих
9.6.2.4.1.6.4. Основополагающие понятия и теоремы
