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