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