Тот факт, что формула B является логическим выводом формул AB и A, играет в математике очень важную роль. Он позволяет из уже известных истинных утверждений AB и A получить новое истинное утверждение B. Заметим, что такой способ получения, или выведение новых утверждений в математической логике является....