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