分类:命题逻辑定理：修订间差异
创建页面，内容为“在分类:命题逻辑的演绎中，有一些常见的中间定理，这些定理都有各自特定的名称。本分类下容纳这些定理的名称和说明。 分类:命题逻辑 分类:证明论{{DEFAULTSORT:ming4ti2luo2ji2ding4li2}}” |
无编辑摘要 |
||
| （未显示同一用户的1个中间版本） | |||
| 第1行： | 第1行： | ||
在[[:分类:命题逻辑]]的[[演绎]] | 在[[:分类:命题逻辑]]的[[演绎]]推理中，有一些常见的[[公理（逻辑）|公理]]或中间[[定理]]，其根据推理框架的不同可能扮演不同的身份。这些定理都有各自特定的名称，本分类下容纳这些定理的名称和说明。 | ||
[[分类:命题逻辑]] | [[分类:命题逻辑]][[分类:证明论]]{{DEFAULTSORT:ming4ti2luo2ji2ding4li2}} | ||
[[分类:证明论]]{{DEFAULTSORT:ming4ti2luo2ji2ding4li2}} | |||