ひていたんじゅんじょうけん
Composed of
① 認めずに、そうではないと打ち消すこと。② 退けること。③ (ある命題を)偽とすること。④ 命題の真と偽を反転する論理演算。