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