肯定命題

こうていめいだい

affirmative proposition

否定の否定

ひていのひてい

negation of the negation (in the Hegelian dialectic)

命題

めいだい

proposition, thesis, notion, theory

否定

ひてい

NOT operation

否定(￢)

ひてい(￢)

negation

逆命題

ぎゃくめいだい

converse proposition

否定和

ひていわ

NEITHER-NOR operation

準否定

じゅんひてい

weak negation

否定形

ひていけい

negative form

否定文

ひていぶん

negative sentence

否定語

ひていご

negative word

否定的

ひていてき

negative, contradictory

文否定

ぶんひてい

sentential negation

全否定

ぜんひてい

complete denial

否定積

ひていせき

non-conjunction

語否定

ごひてい

constituent negation

定命

じょうみょう ていめい

destiny, fate

命題関数

めいだいかんすう

propositional (sentential) function

命題論理

めいだいろんり

propositional logic