（一）“→”：“则”的推理规则