Лекция 7. Правила приписывания значений сложным формулам

  1. 00:16Модель языка
  2. 06:40Значение термов и формул в модели
  3. 11:26Правила приписывания значений сложным формулам
  4. 30:18Примеры
  5. 51:59Формула истинная в модели
  6. 54:53Общезначимая формула
  7. 01:01:40Выполнимая формула. Невыполнимая формула. Опровержимая формула