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