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