Обсуждение:Лемма о дедукции, полнота исчисления высказываний — различия между версиями
Kir1251 (обсуждение | вклад) |
м (переименовал Обсуждение:Лекция 3 в Обсуждение:Лемма о дедукции, полнота исчисления высказываний) |
(нет различий)
|
Текущая версия на 20:47, 27 января 2012
Объяснил М.Р. Лучше объясни, что такое Сх.(откуда берутся эти формулы)
- Вроде как из последнего определения прошлой лекции. Инфа меньше 100% --Kir1251 04:37, 13 января 2012 (MSK)