Schema della sezione

    • Quantificatori funzionali: sintassi e significato intuitivo di sommatoria, cardinalità, minimo e massimo
    • Leggi per quantificatori funzionali
    • Leggi dell'intervallo
    • Formalizzazione di enunciati

    Dispense: [LP2], fino a pag. 30.