分类:命题逻辑：修订间差异
无编辑摘要 |
无编辑摘要 |
||
| 第1行： | 第1行： | ||
'''命题逻辑'''('''propositional logic''')，也称为零阶逻辑('''zero-order logic''', '''ZOL''')。 | '''命题逻辑'''('''propositional logic''')，也称为零阶逻辑('''zero-order logic''', '''ZOL''')。 | ||
研究[[命题]]之间的逻辑关系演算，且命题的[[真值]] | 研究[[命题]]之间的逻辑关系演算，且命题的[[真值]]只有[[真]][[假]]两种。 | ||
在命题逻辑中，命题基于[[原子命题]]和[[逻辑联结词]]形式化，并且可以通过[[形式化公理系统（逻辑）|形式化公理系统]]的[[公理（逻辑）|公理]]和[[推理规则]]进行推理，即[[演绎]]及[[证明]]。 | 在命题逻辑中，命题基于[[原子命题]]和[[逻辑联结词]]形式化，并且可以通过[[形式化公理系统（逻辑）|形式化公理系统]]的[[公理（逻辑）|公理]]和[[推理规则]]进行推理，即[[演绎]]及[[证明]]。 | ||
[[分类:数理逻辑]] | [[分类:数理逻辑]] | ||
[[分类:逻辑学]] | [[分类:逻辑学]]{{DEFAULTSORT:ming4ti2luo2ji2}} | ||
2026年1月13日 (二) 10:22的最新版本
命题逻辑(propositional logic)，也称为零阶逻辑(zero-order logic, ZOL)。 研究命题之间的逻辑关系演算，且命题的真值只有真假两种。 在命题逻辑中，命题基于原子命题和逻辑联结词形式化，并且可以通过形式化公理系统的公理和推理规则进行推理，即演绎及证明。
分类“命题逻辑”中的页面
以下82个页面属于本分类，共82个页面。