GCT逻辑05关系命题及其推理