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