部分性质命题对当关系推理的强度初探