Esercizi svolti di logica proposizionale

Raccolta di esercizi svolti sui principali metodi della logica formale.

Questa sezione contiene esercizi svolti passo passo di logica proposizionale, logica dei predicati e teoria degli insiemi. Gli esercizi sono organizzati per argomento e difficoltà, permettendo un apprendimento progressivo delle tecniche dimostrative.

Accesso completo: Per accedere agli esercizi avanzati e al materiale completo, registrati sul Superatore.

Problemi e rompicapo

Rompicapo e problemi di logica
Problemi di ragionamento e applicazione delle tecniche formali a situazioni concrete.

Tavole di verità

Esercizi svolti sulle tavole di verità
Costruzione di tavole di verità, analisi di tautologie, contraddizioni e contingenze. Metodo completo e abbreviato.

Teoria degli insiemi

Esercizi svolti di teoria degli insiemi
Operazioni insiemistiche, diagrammi di Venn, leggi di De Morgan, semplificazione, relazioni e funzioni.

Deduzione naturale

Esercizi svolti di deduzione naturale
Dimostrazioni formali con il calcolo di Gentzen per logica proposizionale e dei predicati. Regole primitive e derivate.

Formalizzazione

Formalizzazione di enunciati
Traduzione di frasi italiane nel linguaggio formale della logica proposizionale e dei predicati.

Altri esercizi per argomento

Teoria degli insiemi — Approfondimenti

Nota: Gli esercizi vengono aggiornati periodicamente. Per suggerimenti o correzioni, usa il Scrivici.