Questo eserciziario vuole essere un ausilio per gli studenti universitari alle prese con un corso base di logica. Consiste in una collezione di esercizi risolti su insiemi (notazione insiemistica e operazioni su insiemi, prodotto cartesiano e insieme potenza, relazioni e funzioni, cardinalità e numerali), metodi dimostrativi (dimostrazione contronominale, dimostrazione per assurdo, dimostrazione per casi, induzione matematica), logica e calcolo proposizionali (sintassi, semantica, tableaux, derivazioni di sequenze, teoremi, formule interderivabili e teorie proposizionali). Gli esercizi sono raccolti per argomenti introdotti da brevi rimandi alla teoria (pillole di teoria).
Ricordati che otterrai la ricompensa del 5 per cento del prezzo di copertina quando acquisterai una copia di questo libro. La ricompensa potrà essere utilizzata per pagare i tuoi prossimi acquisti, oppure essere convertita in codici voucher o bonificata sul tuo conto bancario.
Aderisci al nostro programma di affiliazione per proporre la vendita di questo libro. Guadagnerai commissioni ogni volta che ne favorirai la vendita.