Advertising
Register for free: access more results and features
existential operator
Definition
Translation of "existential operator" in Chinese
DefinitionOther results
This also reflects the relationship between the monadic logic of quantification (for which monadic Boolean algebras provide an algebraic description) and S5 where the modal operators (necessarily) and (possibly) can be interpreted in the Kripke semantics using monadic universal and existential quantification, respectively, without reference to an accessibility relation.
这还反映了在量化的一元逻辑（一元布尔代数为它提供了代数描述）和 S5 之间的联系，这里的模态算子 （必然性）和 （可能性）可以在使用模态全称和存在量化的 Kripke 语义中解释，而不需要借助可及关系。
Go Premium to unlock millions of translation examples, save and learn unlimited vocabulary, without ads.
Synonyms and analogies of "existential operator" in English
Word & Expression of the day
Image of the day
Results: 1. Exact: 0. Elapsed time: 20 ms.
