Отношения между формулами в классической и индуктивной логикетезисы доклада