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