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