Обсуждение:Лемма о дедукции, полнота исчисления высказываний

Материал из Викиконспекты
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Объяснил М.Р. Лучше объясни, что такое Сх.(откуда берутся эти формулы)

Вроде как из последнего определения прошлой лекции. Инфа меньше 100% --Kir1251 04:37, 13 января 2012 (MSK)
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Обсуждение:Лемма_о_дедукции,_полнота_исчисления_высказываний&oldid=17882»