Григорьев О.М. - Классическая дедуктивная логика II - 7. Приписывание значений сложным формулам

Правила приписывания значений сложным формулам Григорьев Олег Михайлович 00:17 Модель языка 06:41 Значение термов и формул в модели 11:27 Правила приписывания значений сложным формулам 30:20 Примеры 52:07 Формула истинная в модели 54:57 Общезначимая формула 01:01:49 Выполнимая формула. Невыполнимая формула. Опровержимая формула #formula_semantics