むじゅん‐げんり【矛盾原理】
論理学で、思考の原理の一。「Aは非Aではない」または「いかなるものもAかつ非Aであることはできない」という形式で表される。同一原理の反面を表す。矛盾律。矛盾法。→思考の原理
むじゅん‐たいとう【矛盾対当】
論理学で、対当関係の一。主語と述語とは同じであるが、量（全称・特称）と質（肯定・否定）とを異にする二つの判断の真偽関係。→対当関係
むむじゅん‐せい【無矛盾性】
理論体系一般において、ある公理系内に相互に矛盾する公理が存在しないこと。また、そこからの命題の導出に論理的矛盾がないこと。整合性。
めい‐じ【名辞】
《term》論理学で、概念を言語で表したもの。実際上、概念と同じ意味に用いられる。
めい‐せき【明晰／明晳】
［名・形動］ １ 明らかではっきりしていること。また、そのさま。「—な文章」 ２ 論理学で、概念の外延が明確で他とはっきり区別できること。明白。→判明
めい‐だい【命題】
１ 題号をつけること。また、その題。名題。 ２ 論理学で、判断を言語で表したもので、真または偽という性質をもつもの。→判断 ３ 数学で、真偽の判断の対象となる文章または式。定理または問題。
めいだい‐ざん【命題算】
⇒論理演算
めいだい‐ろんり【命題論理】
記号論理学の基礎的部門。個々の命題を結合する「かつ」「または」「ならば」「でない」などの関係を、論理記号を用いて論理積（＞）・論理和（＜）・含意（→）・否定（〜）などにより記号化して演算形式に表...
めいめい‐はくはく【明明白白】
《「明白」のそれぞれの字を重ねて意味を強めた語》 
［名・形動］はっきりしていて、少しの疑いもないこと。また、そのさま。「—な論理」 
［ト・タル］［文］［形動タリ］に同じ。「—たる事実」
メーン‐ルーチン【main routine】
コンピューターのプログラム中で中心的な論理制御を行う部分。単一の作業を行うサブルーチンと区別される。→サブルーチン
