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