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

Аватар автора
Teach-In
Правила приписывания значений сложным формулам Григорьев Олег Михайлович 00:16 Модель языка 06:40 Значение термов и формул в модели 11:26 Правила приписывания значений сложным формулам 30:18 Примеры 51:59 Формула истинная в модели 54:53 Общезначимая формула 01:01:40 Выполнимая формула. Невыполнимая формула. Опровержимая формула #formula_semantics

0/0


0/0

0/0

0/0

0/0