Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление предикатов
\
9.6.2.4.1. Истинность предложения
в интерпретации
©
Раздел 1.2, посвященный логике высказываний, см.
здесь
.
9.6.2.4.1.1. Языки первого порядка
9.6.2.4.1.2. Интерпретации языков
9.6.2.4.1.3. Обогащение и обеднение моделей
9.6.2.4.1.4. Изоморфизм моделей
9.6.2.4.1.5. Подмодели данной модели
9.6.2.4.1.6. Определение истинности данного предложения в данной интерпретации
