Schema della sezione

    • Presentazione sulle logiche booleane File PDF

      Esercizio: Il calcolo delle relazioni diadiche (o 'mappe') visto di recente ricade sotto la caratterizzazione di logica booleana presentato questa settimana? 

      Altro esercizio: Dimostrare il teorema di Lindenbaum senza far uso dell'ipotesi di comodo che l'insieme degli enunciati possa essere disposto in una successione. Serve, per questa dimostrazione piú generale, ricorrere al lemma di Zorn (lo conoscete?)

    • Esercizi sulla verifica di tautologicità tramite "reductio ad absurdum" File PDF