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