Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
existential operator
Definiție
Traducere "existential operator" în chineză
DefinițieAlte rezultate
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 语义中解释，而不需要借助可及关系。
Treci la Premium pentru a debloca milioane de exemple de traduceri, a salva și învăța vocabular nelimitat, fără reclame.
Sinonime și analogii pentru "existential operator" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 1. Exacte: 0. Timp de răspuns: 12 ms.
