Adatta gli esercizi risolti alla tua materia. Registrati gratis

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.