ろんり‐えんざん【論理演算】
《logical operation／logical connection》記号論理学の定義に従って論理式を演算し、推論・判断などの命題の真偽を求めること。四則演算以外の、論理積・論理和・否定な...
ろんり‐えんざんし【論理演算子】
論理演算を行うための演算子。論理積、論理和、否定などの演算子があり、たとえばC言語やC++においては、それぞれ、「＆＆」「‖」「!」が用いられる。
ろんりえんざん‐そし【論理演算素子】
⇒論理素子
ろんり‐かいろ【論理回路】
《logic circuit》論理演算を行う、コンピューターなどの電気回路。電流が流れれば真、流れなければ偽などと対応させる。論理和（オア）回路・論理積（アンド）回路・否定（ノット）回路・排他的...
ろんり‐がく【論理学】
正しい思考過程を経て真の認識に達するために、思考の法則・形式を明らかにする学問。伝統的なものはアリストテレスによって体系化され、スコラ学に受け継がれた形式論理学。現代においては記号と数学的演算を...
ろんり‐きごう【論理記号】
記号論理学で、論理式を構成するのに用いる記号。論理積の「∧」、論理和の「∨」、否定の「〜」など。存在記号の「∃」、全称記号の「∀」を含めることもある。論理演算子。
ろんり‐けいさん【論理計算】
⇒論理演算(ろんりえんざん)
ろんり‐コア【論理コア】
《logical core》コンピューターのCPUで、一つの物理コアを仮想的に分割し、複数の命令（スレッド）を処理できるようにしたもの。例えば、10コア20スレッドのCPUの場合、物理コアは10...
ろんり‐ご【論理語】
論理学で、言語の要素のうち、語られる時・所によって変化する実質的な内容に対し、変化しない基本的かつ普遍的な形式的要素。「でない」「かつ」「または」「ならば」および述語論理における「すべて」「ある...
ろんり‐しき【論理式】
論理記号を用いていくつかの命題を結び合わせた式。
