Введение инверсного отрицания в систему классической импликативной логикитезисы доклада