Лекция 4. Логика I порядка. Синтаксис и семантика | Открытые видеолекции учебных курсов МГУ

Лекция 4. Логика I порядка. Синтаксис и семантика

Лекция из курса:

Математическая логика

Яворская Татьяна Леонидовна

Лекция 4. Логика I порядка. Синтаксис и семантика

Предыдущая лекция

Лекция 3. Генценовское исчисление высказываний

Следующая лекция

Лекция 5. Логика I порядка. Общезначимость. Эквивалентность