Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
existential operator
Definição
Tradução de "existential operator" em chinês
DefiniçãoOutros resultados
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 语义中解释，而不需要借助可及关系。
Assine o Premium para desbloquear milhões de exemplos de tradução, salvar e aprender vocabulário sem limites e usar o serviço sem anúncios.
Sinônimos e analogias para "existential operator" em inglês
Palavra e Expressão do Dia
Imagem do dia
Resultados: 1. Exatos: 0. Tempo de resposta: 13 ms.
