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