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