Category:命題
推論
Inference命題論理
Propositional calculus全称命題
Categorical proposition恒真式
Tautology (logic)命題集
恒真命題
存在命題
existential proposition命題集 (ペトルス・ロンバルドゥス)
Sentences命題論 (アリストテレス)
On Interpretation補題
Lemma (mathematics)真理値
Truth value偶然
Contingency (philosophy)命題関数
Propositional function論理積
Logical conjunction命題
Proposition定理
Theorem矛盾
Contradiction