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