ろん‐り【論理】
１ 考えや議論などを進めていく筋道。思考や論証の組み立て。思考の妥当性が保証される法則や形式。「—に飛躍がある」 ２ 事物の間にある法則的な連関。 ３ 「論理学」の略。
ろんり‐アイシー【論理IC】
⇒ロジックIC
ろんり‐えんざん【論理演算】
《logical operation／logical connection》記号論理学の定義に従って論理式を演算し、推論・判断などの命題の真偽を求めること。四則演算以外の、論理積・論理和・否定な...
ろんり‐えんざんし【論理演算子】
論理演算を行うための演算子。論理積、論理和、否定などの演算子があり、たとえばC言語やC++においては、それぞれ、「＆＆」「‖」「!」が用いられる。
ろんりえんざん‐そし【論理演算素子】
⇒論理素子
ろんり‐かいしゃく【論理解釈】
法律の解釈において、単独の語句・文章の文法的な意味にこだわることなく、意味を補正したり、他の条文との整合性を考えたりして、その条文の意義を重視する方法。⇔文理解釈。
ろんり‐かいろ【論理回路】
《logic circuit》論理演算を行う、コンピューターなどの電気回路。電流が流れれば真、流れなければ偽などと対応させる。論理和（オア）回路・論理積（アンド）回路・否定（ノット）回路・排他的...
ろんり‐がく【論理学】
正しい思考過程を経て真の認識に達するために、思考の法則・形式を明らかにする学問。伝統的なものはアリストテレスによって体系化され、スコラ学に受け継がれた形式論理学。現代においては記号と数学的演算を...
ろんり‐がた【論理型】
⇒ブール型
ろんり‐きごう【論理記号】
記号論理学で、論理式を構成するのに用いる記号。論理積の「∧」、論理和の「∨」、否定の「〜」など。存在記号の「∃」、全称記号の「∀」を含めることもある。論理演算子。
