Category:命题演算

子分类

本分类有以下3个子分类，共有3个子分类。

推

推理规则 (16个页面)

谓

谓词逻辑 (6个页面)

邏

邏輯結果 (6个分类， 5个页面)

分类“命题演算”中的页面

以下12个页面属于本分类，共12个页面。

合

合取的交换律

命

对

对位证明法

恆

恆真式

推

推理规则

斯

斯多葛派逻辑

矛

矛盾

蕴

迪

迪文森佐準則

检索自“https://zh.wikipedia.org/w/index.php?title=Category:命题演算&oldid=50246152”