最終更新日：2025/11/28

(algebra, order theory) A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

De Morgan algebra

元となった辞書の項目

De Morgan algebra

日本語の意味

De Morgan代数は、有界分配格と呼ばれる順序体の一種で、通常は ¬ または ~ で表される反転作用（否定）が付加され、De Morganの法則を満たす代数的構造である。

The seminar will examine how a De Morgan algebra models negation in certain non-classical logics.

そのセミナーでは、ド・モルガンの法則を満たす反転写像（通常は ¬ または～と表され）を備えた有界分配格子が、特定の非古典論理における否定をどのようにモデル化するかを検討する。

意味（1）

De Morgan algebras

（ plural ）