s
А можем достать значение
b ∈ B.Size: a a a
2021 November 26
s
И на самом деле, для логики высказывания, ты легко можешь построить её *модель* с помощью множеств.
s
Сама логика это просто синтаксис с правилами вывода одних синтаксических выражений из других.
s
Модель же это сопоставление этому синтаксису с правилами какой-то математической структуры.
i
Это как
i
А семантика?
s
А семантика это и есть соответствие между синтаксисом и моделью.
i
Вряд ли
i
Модель это тоже семантика
i
А соответствии между синтаксис и семантикой это теоремы о soundless and ....
i
Все что верно доказуемое, и все что доказуемо верно
i
ИЗ этого следует теорема о компактности
i
Модель это просто функиция которая каждому высказыванию даёт значение труе или фалсе
s
Есть синтаксис, и есть valuation function, которая сопоставляет ему значения.
X
семантика — это просто умное слово для смысла (с)
i
А стохастические умное слово для вероятностей
i
Не думаю
s
Смотри ссылку выше.
i
Я логику в университете уже лет 15 преподаю. Позволю себе не смотреть