首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81532,"Name":"人工智能"},{"ID":81533,"Name":"机器学习"},{"ID":81554,"Name":"知识表示"}]
命题逻辑推理
/propositional calculus/
最后更新 2022-01-20
浏览 243次
一个形式系统,有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式,以及允许某些公式建构成“定理”的一套形式“证明规则”。
- 英文名称
- propositional calculus
- 所属学科
- 计算机科学技术