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