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