雅理技术 必逻辑是人脑恩维的规律，从而也是推理的理论基础 必谓词逻辑 必非标准逻辑，由谓词逻辑扩充和发展 语义扩充：多值逻辑、模糊逻辑 语构扩充：模态逻辑、时态逻辑 它研究必然、可能及其相关概念的逻辑性质 把合有时态动词的语句形式化，并且把含有这种语句 的推理系统化 推理与逻辑相辅相成，推理为逻辑提出课题，逻辑为 推理奠定基础16 推理技术 逻辑是人脑思维的规律，从而也是推理的理论基础 谓词逻辑 非标准逻辑，由谓词逻辑扩充和发展 语义扩充：多值逻辑、模糊逻辑 语构扩充：模态逻辑、时态逻辑 它研究必然、可能及其相关概念的逻辑性质 把含有时态动词的语句形式化，并且把含有这种语句 的推理系统化 推理与逻辑相辅相成，推理为逻辑提出课题，逻辑为 推理奠定基础