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

Материал из Викиконспекты
(перенаправлено с «Обсуждение:Лекция 3»)
Перейти к: навигация, поиск

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

Вроде как из последнего определения прошлой лекции. Инфа меньше 100% --Kir1251 04:37, 13 января 2012 (MSK)