演绎逻辑

来自中文百科专业版
跳转至: 导航搜索

  演绎逻辑汉语拼音:Yanyi Luoji;英语:Deductive logic),与归纳逻辑相对。主要研究演绎推理形式的学科,即狭义的形式逻辑。演绎推理是如果前提都真,则结论必然真的推理。