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