Logic provides the formal structure and rules of inference;

• 逻辑:提供推理规则和形式化结构;