ひてい‐ぶん【否定文】
そうではないという、否定の内容を表す文。「今日は日曜日ではない」「あの山はそれほど高くない」などの類。⇔肯定文。
ひてい‐ろんりせき【否定論理積】
《not and》論理演算の一。二つの命題pとqのどちらも「真」(または「1」)である時のみ「偽」(または「0」)となる命題、または演算のこと。NAND(ナンド)。コンピューターでこのような演算...
ひていろんりせき‐かいろ【否定論理積回路】
⇒NAND回路
ひてい‐ろんりわ【否定論理和】
《not or》論理演算の一。二つの命題pとqのどちらも「偽」(または「0」)であれば「真」(または「1」)となる命題、または演算のこと。NOR(ノア)。コンピューターでこのような演算を行う論理...
ひていろんりわ‐かいろ【否定論理和回路】
⇒NOR回路
ひ‐にん【否認】
[名](スル)事実として認めないこと。承認しないこと。「罪状を—する」⇔是認。
ひにん‐けん【否認権】
破産法上、破産手続開始(旧法の破産宣告)前に破産者のなした行為が破産債権者に損害を与える場合に、破産管財人がその行為の効力を失わせ、逸出した財産を破産財団に回復させる権利。会社更生法上でも同様の...
ひにん‐そしょう【否認訴訟】
⇒否認の訴え
ひにん‐の‐うったえ【否認の訴え】
否認権を行使する方法の一つ。訴訟を起こすことで否認権を行使する。破産法・民事再生法・会社更生法で規定され、経営破綻した企業の管財人等が行う。否認権行使の方法としては、これよりも簡易な手続きで迅速...
ひにん‐の‐せいきゅう【否認の請求】
否認権を行使する方法の一つ。破産法・民事再生法・会社更生法で規定され、経営破綻した企業の管財人等が行う。管財人は、否認の原因となる事実関係(証拠)を裁判所に提出。これを基に裁判所が否認の請求の認...