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