quantificatore in the Oxford-Paravia Italian Dictionary

Translations for quantificatore in the Italian»English Dictionary (Go to English»Italian)

Translations for quantificatore in the English»Italian Dictionary (Go to Italian»English)

Your search term in other parts of the dictionary
quantifier LING, PHILOS
quantificatore m

quantificatore in the PONS Dictionary

Translations for quantificatore in the Italian»English Dictionary

quantificatore (-trice) [kuan·ti·fi·ka·ˈto:·re] N m (f)

Monolingual examples (not verified by PONS Editors)

Italian
Una variabile all'interno di una formula si dice libera se non compare in nessuna sottoformula preceduta da un quantificatore associato a tale variabile.
it.wikipedia.org
La tipizzazione dipendente consente ai Σ-tipi di svolgere il ruolo di quantificatore esistenziale.
it.wikipedia.org
Il sillogismo è in generale un concetto più ampio che si serve anche del quantificatore esistenziale e operatore di negazione.
it.wikipedia.org
Se (tutte le occorrenze di) tutte le variabili hanno un quantificatore, la fbf si dice chiusa.
it.wikipedia.org
A questi si aggiunge un caso particolare del quantificatore esistenziale, che è il quantificatore unico ∃!
it.wikipedia.org
Nella logica matematica esiste il quantificatore esistenziale (il cui simbolo è ∃).
it.wikipedia.org
Il quantificatore esistenziale è rappresentato dall'operatore ->exists.
it.wikipedia.org
I concetti di "fissato arbitrariamente" e "si riesce a trovare" sono espressi formalmente, rispettivamente, con i quantificatori "per ogni" (quantificatore universale) ed "esiste" (quantificatore esistenziale).
it.wikipedia.org
Il quantificatore di tale espressione è ∃!
it.wikipedia.org
Si dice vincolata (ad un quantificatore) se ogni volta che la troviamo nella formula, compare col quantificatore esistenziale o universale.
it.wikipedia.org

Would you like to add some words, phrases or translations?

Submit a new entry.

Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski