搜索结果
跳转到导航
跳转到搜索
- 在{{tsl|en|Metalogic|元邏輯}}中肯定前件是[[切]]规则。[[切消定理]]声称切是在某些逻辑演算（[[相继式演算]]）中有效的（[[可容纳规则]]）。 …2 KB（55个字） - 2024年11月25日 (一) 05:10
- 有能力处理这种推理的第一个逻辑演算是[[弗雷格]]的[[概念文字]]，它是现代[[谓词逻辑]]的祖先，它通过变量约束的方式处理量词。弗雷格的逻辑比现有的逻辑演算更富有表达力，评论家认为这是他的关键性成就。 …2 KB（66个字） - 2022年5月19日 (四) 11:09
- [[Category:逻辑演算]] …3 KB（130个字） - 2024年8月14日 (三) 06:38
- [[Category:逻辑演算]] …3 KB（198个字） - 2022年6月10日 (五) 09:00
- [[Category:逻辑演算]] …6 KB（459个字） - 2022年6月21日 (二) 22:32
- 在证明论中，推理规则在[[逻辑演算]]比如[[相继式演算]]和[[自然演绎]]的规定中扮演了关键角色。 …7 KB（177个字） - 2025年2月11日 (二) 22:52
- [[Category:逻辑演算]] …7 KB（346个字） - 2024年8月5日 (一) 06:37
- 弗雷格定义了逻辑演算来支持他在[[数学基础]]上的研究。“概念文字”是书和其中定义的演算二者的名字。 …7 KB（421个字） - 2022年12月21日 (三) 12:38
- 在[[命题演算]]，或在[[数学]]的逻辑演算中，'''实质条件'''、'''實質蘊涵'''或'''蕴涵算子'''是一种[[二元关系|二元]]的[[真值泛函]]的[[逻辑运算符]]，它有着如下形式： …7 KB（410个字） - 2024年8月5日 (一) 06:50
- [[Category:逻辑演算]] …20 KB（2,522个字） - 2022年3月22日 (二) 07:39
- == 其他逻辑演算 == 命题演算大概是在所有当前使用的逻辑演算中最简单的一种。（亚里士多德的“三段论”演算，在现代逻辑中在很大程度上被替代了，它与命题逻辑相比在某些方面更简单--但在其他方面更加复杂）。它可以按很多 …29 KB（1,204个字） - 2023年7月13日 (四) 11:44
- …vnb|Gentzen|1935}}.</ref>，作为研究[[自然演绎]]的工具；它的名字得来自德语的“Logischer Kalkül”，意思是“逻辑演算”。相继式演算系统有时被称为'''Gentzen系统'''<ref>{{harvnb|Curry|1977|pp=189–244}}, calls Ge [[Category:逻辑演算]] …23 KB（1,852个字） - 2023年12月7日 (四) 23:39
- [[Category:逻辑演算]] …38 KB（2,578个字） - 2022年12月2日 (五) 08:45
- …4年，英国数学家[[乔治·布尔]]发表了一篇里程碑式的论文，其中详细介绍了一种[[代数]]化的逻辑系统，后人称之为[[逻辑代数|布尔代数]]。他提出的逻辑演算在后来的电子电路设计中起基础性作用。<ref>{{cite book |last=Boole |first=George |origyear=1854 …18 KB（976个字） - 2025年3月15日 (六) 15:04
- …学习和要实际解决问题的复杂性所决定的），它能够推理产生一个可以自动识别的系统。与之不同的基于符号系统下的学习方法，它们也具有推理功能，只是它们是建立在逻辑演算法的基础上，也就是说它们之所以能够推理，基础是需要有一个推理演算法则的集合。 …27 KB（1,462个字） - 2025年3月5日 (三) 17:10
- 46 KB（3,209个字） - 2025年2月5日 (三) 14:01
- 144 KB（16,053个字） - 2024年12月15日 (日) 05:29