Contributi utente di 79.17.52.73
Risultati per 79.17.52.73 discussione blocchi registri
24 nov 2022
- 20:4720:47, 24 nov 2022 diff cron +2 019 N Counting quantifier ←Nuova pagina: Un '''''counting quantifier''''' è un quantificatore della forma "esistono almeno k elementi che soddisfano la proprietà X ". Nella logica del primo ordine possono essere definiti mediante i quantificatori ordinari, quindi si tratta di una notazione più compatta. Tuttavia, sono interessanti nel contesto della logica a due variabili che limita il numero di variabili nelle formule. Inoltre, i ''coun... attuale