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