めいだい‐ざん【命題算】
⇒論理演算
めいだい‐ろんり【命題論理】
記号論理学の基礎的部門。個々の命題を結合する「かつ」「または」「ならば」「でない」などの関係を、論理記号を用いて論理積（＞）・論理和（＜）・含意（→）・否定（〜）などにより記号化して演算形式に表...
めいめい‐はくはく【明明白白】
《「明白」のそれぞれの字を重ねて意味を強めた語》 
［名・形動］はっきりしていて、少しの疑いもないこと。また、そのさま。「—な論理」 
［ト・タル］［文］［形動タリ］に同じ。「—たる事実」
メーン‐ルーチン【main routine】
コンピューターのプログラム中で中心的な論理制御を行う部分。単一の作業を行うサブルーチンと区別される。→サブルーチン
もう‐そう【妄想】
［名］(スル)《古くは「もうぞう」とも》 １ 根拠もなくあれこれと想像すること。また、その想像。「—にふける」「愛されていないと—してひとりで苦しむ」 ２ 仏語。とらわれの心によって、真実でない...
モラベック‐の‐パラドックス
《Moravec's paradox》人工知能にとって、数学的思考や論理的思考など、専門的で高度な推論を行うことよりも、人間なら幼児でも身に付けているような知覚や運動の能力を獲得することの方が、...
ゆいめいてき‐ていぎ【唯名的定義】
論理学で、概念を定義する場合に、概念の使用についての約束を述べただけのもの。従来用いられてきた表現をより簡潔な表現に改めたり、新しく発見された現象の命名に用いられたりする。名目的定義。
ようそう‐ろんりがく【様相論理学】
必然性・可能性などの様相概念を取り扱う論理学。→多値論理学
ラダー‐ず【ラダー図】
プログラマブルロジックコントローラー（PLC）のシーケンス制御を記述する方式。もとは継電器（リレー）による論理回路の記述に用いられたもので、2本の平行する直線と、その間に渡されるはしご状の線（ラ...
り【理】
１ 物事の筋道。ことわり。道理。 ㋐不変の法則。原理。理法。「自然の—」 ㋑論理的な筋道。理屈。ものの道理。「—の通らぬ話」「—を尽くす」「盗人にも三分の—」 ２ 中国宋代の哲学で、宇宙の根本原...
