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