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