单词查询
monadic
美[mə'nædɪk]，英[mɒ'nædɪk]，
释义
「
」
adj. 单孢体的；一价元素的；一价物的；单轴的； 网络释义： 一元的；单子；单边的；
例句
They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.
它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。
Likewise, monadic Boolean algebras supply the algebraic semantics for S5.
类似的，一元布尔代数为S5提供了代数语义。
The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.
模态逻辑S5，被看作S4中一个理论，是一元布尔代数的模型，如同模态逻辑S4是内部代数的模型。
Monadic Boolean algebras also have an important connection to modal logic.
Hence S5-algebra is a synonym for monadic Boolean algebra.
它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。
Likewise, monadic Boolean algebras supply the algebraic semantics for S5.
类似的，一元布尔代数为S5提供了代数语义。
The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.
模态逻辑S5，被看作S4中一个理论，是一元布尔代数的模型，如同模态逻辑S4是内部代数的模型。
Monadic Boolean algebras also have an important connection to modal logic.
Hence S5-algebra is a synonym for monadic Boolean algebra.