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

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