コトバンクはYahoo!辞書と技術提携しています。

排中 はいちゅう

排中の関連キーワードL.E.J. ブローエルアリストテレス法則[論理学]トートロジーブラウエル様相論理学記号論理学数学基礎論多値論理学ブローエル思考の原理形式論理学二重否定律古典論理量子論理選言原理直観論理排中原理直観主義論理法則

今日のキーワード

悪魔の証明

証明が非常に困難なものごとを表す比喩表現。古代ローマ法において所有権の帰属証明が極めて困難であったことから、この言葉が初めて用いられたとされている。現代においては、権利関係や消極的事実の証明に関する法...

続きを読む

コトバンク for iPhone

コトバンク for Android