Гипотетико-дедуктивная модель научной теории_ семантика формул

Рассматривается процедура индуктивного определения семантики формул с использованием функций присваивания. Вначале задаётся семантика атомарных формул (базис индукции), затем, предполагая, что семантика ранее построенных формул определена, строится семантика для производных формул (индуктивное предположение) (лекция аспирантам МГМСУ 13 декабря 2017 г.).