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