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