Синонимы для словосочетания "классическая логика" не найдены.
Он показал, что если в некоторой теореме классической логики, в которой нет связок, отличных от условной связи и отрицания, заменить вхождения каждой переменной на её двойное отрицание, то получающаяся формула будет теоремой минимальной логики.