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