りょうしえんざん‐そし【量子演算素子】
量子コンピューターで量子力学的に論理演算を行う基本素子。情報の最小単位として、従来のビットに代わり、0と1だけでなく、0と1とを重ね合わせた状態も表す量子ビットを制御する。量子ゲート。
リラクシング【RELAX NG】
《regular language description for XML Next Generation》XMLで記述する文書の論理的な構造の定義に用いられるスキーマ言語。村田真らによるREL...
り‐ろん【理論】
個々の現象を法則的、統一的に説明できるように筋道を立てて組み立てられた知識の体系。また、実践に対応する純粋な論理的知識。「—を組み立てる」「—どおりにはいかない」
りろん‐てつがく【理論哲学】
正しい思考の形式や法則を研究する論理学や、知識の起源・構造・妥当性などを問う認識論など、理論的諸問題を対象とする哲学の一部門。→実践哲学
リーズナブル【reasonable】
［形動］論理などが妥当なさま。また、価格が手ごろなさま。「—な値段」
るい‐がいねん【類概念】
論理学で、ある概念の外延のうちに別の概念の外延が含まれる場合、後の下位概念に対して前の上位概念をいう。例えば、「動物」に対する「生物」の類。→種概念
るい‐すい【類推】
［名］(スル) １ 類似の点をもとにして、他を推しはかること。「過去の事例から—する」 ２ 論理学で、二つの事物の間に本質的な類似点があることを根拠にして、一方の事物がある性質をもつ場合に他方の...
れい‐かん【戻換】
《inversion》論理学で、定言的判断の変形による直接推理の一。ある判断から主語の矛盾概念を主語に、述語を同じくする、新しい判断を導き出す推理。例えば、「すべてのsはpである」から「ある非s...
れんさ‐しき【連鎖式】
《sorites》論理学で、多数の三段論法を連結するが、最後の三段論法の結論以外の結論を省略し、前提だけを連結して進めていく推論。外延の狭い概念から広い概念へと進むアリストテレスの連鎖式（順進的...
ロジカル【logical】
［形動］論理的であるさま。「—な推理」
