Download for Windows Premium
Publiciteit
existential operator
Definitie
logical symbol asserting existence of at least one instance  ... See more

Andere resultaten

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 语义中解释,而不需要借助可及关系。
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor existential operator in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
treasure chest: source of valuable resources
Ontdek het woord
Publiciteit

Resultaten: 1. Exact: 0. Verstreken tijd: 13 ms.