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