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