Quante volte, in una discussione, hai cercato di smontare l’argomentazione di qualcuno trovando un punto debole nel suo ragionamento? O quante volte hai scritto una formula in un foglio di calcolo che doveva funzionare solo a determinate condizioni? In entrambi i casi, stavi usando la logica.
La logica non è solo un’astratta branca della matematica, ma è l’architettura del pensiero razionale. È il sistema operativo che ci permette di costruire ragionamenti validi, scrivere codice funzionante e, in definitiva, dare un senso al mondo in modo strutturato. Questo articolo è un viaggio nei suoi mattoni fondamentali, un percorso fatto di regole chiare ed esempi pratici per vedere come, da semplici affermazioni vere o false, si possano costruire le cattedrali della matematica e dell’informatica.
Q1. Cos’è una proposizione logica?
Una proposizione logica è un’affermazione che può essere o vera o falsa, ma non entrambe contemporaneamente. Non possono essere proposizioni logiche domande, esclamazioni, o comandi, poiché non hanno un valore di verità assegnabile.
- “5 è un numero dispari” è una proposizione vera. ✅
- “Roma è la capitale della Francia” è una proposizione falsa. ✅
- “Apri la finestra!” non è una proposizione. ❌
—
Q2. Cos’è la negazione logica di una proposizione?
La negazione logica di una proposizione [math]p[/math] è una nuova proposizione che afferma l’opposto di [math]p[/math]. Il simbolo per la negazione è [math]\neg p[/math] o [math]~p[/math].
Se [math]p[/math] è vera, [math]\neg p[/math] è falsa; se [math]p[/math] è falsa, [math]\neg p[/math] è vera.
Esempio: Se [math]p[/math] è “Il cielo è sereno,” allora [math]\neg p[/math] è “Il cielo non è sereno.”
—
Q3. Cos’è la congiunzione logica?
La congiunzione logica unisce due proposizioni, [math]p[/math] e [math]q[/math], e crea una nuova proposizione che è vera solo se entrambe le proposizioni originali sono vere. Il simbolo è [math]p \land q[/math] e si legge “p e q”.
Esempio: Se [math]p[/math] è “Piove” e [math]q[/math] è “Fa freddo,” allora [math]p \land q[/math] è “Piove e fa freddo.” Questa proposizione è vera solo se sta effettivamente piovendo e facendo freddo.
—
Q4. Cos’è la disgiunzione logica?
La disgiunzione logica unisce due proposizioni, [math]p[/math] e [math]q[/math], e la nuova proposizione è vera se almeno una delle due proposizioni originali è vera. Il simbolo è [math]p \lor q[/math] e si legge “p o q”.
Esempio: Se [math]p[/math] è “Studio matematica” e [math]q[/math] è “Studio fisica,” allora [math]p \lor q[/math] è “Studio matematica o fisica.” Questa affermazione è vera se studi solo matematica, solo fisica o entrambe le materie.
Questa è la disgiunzione inclusiva, il tipo più comune, che ammette che entrambe le proposizioni possano essere vere contemporaneamente.
—
Q5. Cos’è l’implicazione logica?
L’implicazione logica, indicata con [math]p \to q[/math] (si legge “se p allora q”), stabilisce che se la proposizione [math]p[/math] è vera, allora anche la proposizione [math]q[/math] deve esserlo. La proposizione [math]p[/math] è chiamata antecedente o ipotesi, mentre [math]q[/math] è il conseguente o tesi.
Esempio: “Se piove, allora la strada è bagnata.” ([math]p \to q[/math])
L’implicazione è falsa solo in un caso: quando l’antecedente ([math]p[/math]) è vero e il conseguente ([math]q[/math]) è falso. In tutti gli altri casi, l’implicazione è vera.
—
Q6. Cos’è l’equivalenza logica?
L’equivalenza logica, indicata con [math]p \leftrightarrow q[/math] (si legge “p se e solo se q”), afferma che due proposizioni hanno sempre lo stesso valore di verità. Sono entrambe vere o entrambe false. È essenzialmente un’implicazione che va in entrambe le direzioni.
Esempio: “Un numero è pari se e solo se è divisibile per 2.”
—
Q7. Cos’è un predicato logico?
Un predicato logico è una frase che contiene una o più variabili. A differenza di una proposizione, un predicato non può essere valutato come vero o falso finché non si sostituiscono le variabili con valori specifici.
Esempio: [math]P(x)[/math]: “x è un numero primo”. Questa non è una proposizione. Tuttavia, quando si sostituisce [math]x[/math] con un valore, come [math]P(5)[/math], diventa la proposizione “5 è un numero primo”, che è vera. I predicati sono fondamentali per la logica del primo ordine, che introduce concetti come quantificatori (per ogni, esiste).
—
Q8. Cos’è il Principio di Induzione Matematica?
Il principio di induzione matematica è un metodo di dimostrazione che si usa per verificare che una proprietà o un’affermazione sia valida per tutti i numeri naturali ([math]n \geq 1[/math]).
Il principio funziona in due passaggi:
- Base dell’induzione: Si verifica che la proprietà [math]P(n)[/math] sia vera per il primo caso, di solito [math]n=1[/math].
- Passo induttivo: Si assume che la proprietà [math]P(k)[/math] sia vera per un generico numero naturale [math]k[/math] e si dimostra che, di conseguenza, deve essere vera anche per il numero successivo, [math]k+1[/math].
Se entrambi i passaggi sono verificati, allora la proprietà è vera per tutti i numeri naturali a partire dal caso base.
Esempio classico: Dimostrare che la somma dei primi [math]n[/math] numeri naturali è [math]\frac{n(n+1)}{2}[/math].
Esercizi Risolti di Logica e Fondamenti di Matematica
Qui trovi una serie di esercizi pratici, uno per ciascun concetto logico fondamentale, pensati per consolidare la tua comprensione.
✅ Q1. Proposizione logica
Esercizio:
Indica quali dei seguenti enunciati sono proposizioni logiche:
- “2 + 2 = 4”
- “Viva la matematica!”
- “Milano è la capitale d’Italia”
- “Chiudi la porta”
Soluzione:
- a) ✔️ Proposizione (vera)
- b) ❌ No, è un’esclamazione
- c) ✔️ Proposizione (falsa)
- d) ❌ No, è un imperativo
L’esercizio costringe a fare la distinzione più basilare della logica: quella tra un’affermazione oggettiva (verificabile) e un’opinione, un comando o un’esclamazione.
Applicazione pratica: Nel mondo dello sviluppo software, i requisiti di un progetto devono essere formulati come proposizioni. “Il sistema deve essere veloce” è un’esclamazione inutile. “Il sistema deve rispondere in meno di 500 ms” è una proposizione misurabile e quindi un requisito valido.
✅ Q2. Negazione logica
Esercizio:
Sia [math]p[/math]: “Il numero 7 è pari”. Scrivi la negazione di [math]p[/math] e valuta il suo valore di verità.
Soluzione:
[math]p[/math] è falsa.
[math]\neg p[/math]: “Il numero 7 non è pari” → vera.
Mostra come l’operatore più semplice, la negazione, inverta il valore di verità. L’esempio “Il numero 7 è pari” è palesemente falso, rendendo la sua negazione intuitivamente vera. È il primo passo verso la manipolazione algebrica della logica.
Applicazione pratica: In programmazione, la negazione è onnipresente. L’istruzione if (!utente_loggato) è un controllo di sicurezza fondamentale che esegue un’azione solo se la proposizione “l’utente è loggato” è falsa.
✅ Q3. Congiunzione logica
Esercizio:
Siano:
- [math]p[/math]: “3 è un numero dispari” (vera)
- [math]q[/math]: “2 è un numero primo” (vera)
Calcola il valore di verità di [math]p \land q[/math].
Soluzione:
[math]p \land q = \text{vera} \land \text{vera} \rightarrow \checkmark \text{ vera}[/math]
Estensione: Se una delle due proposizioni fosse falsa, l’intera congiunzione sarebbe falsa.
L’esercizio usa due proposizioni vere per evidenziare la natura restrittiva della congiunzione (AND). Basta che un solo elemento sia falso perché crolli tutto il castello.
Applicazione pratica: Le query sui database. SELECT * FROM Ordini WHERE cliente_id = 123 AND data > '2024-01-01' restituisce un risultato solo se entrambe le condizioni sono soddisfatte.
✅ Q4. Disgiunzione logica
Esercizio:
Siano:
- [math]p[/math]: “4 è dispari” (falsa)
- [math]q[/math]: “4 è un quadrato perfetto” (vera)
Calcola il valore di verità di [math]p \lor q[/math].
Soluzione:
[math]p \lor q = \text{falsa} \lor \text{vera} \rightarrow \checkmark \text{ vera}[/math]
Questo esercizio è l’immagine speculare del precedente. Utilizzando una proposizione falsa e una vera, dimostra la natura “inclusiva” della disgiunzione (OR). La verità di una sola parte è sufficiente a “salvare” l’intera affermazione.
Applicazione pratica: Gestione dei permessi. Un utente può modificare un documento se è_proprietario OR è_amministratore. Se anche solo una delle due è vera, l’accesso è garantito.
✅ Q5. Implicazione logica
Esercizio:
Sia l’implicazione:
[math]p \to q[/math], dove:
- [math]p[/math]: “6 è un numero dispari” (falsa)
- [math]q[/math]: “6 è divisibile per 2” (vera)
Valuta il valore di verità di [math]p \to q[/math].
Soluzione:
Quando l’ipotesi ([math]p[/math]) è falsa, l’implicazione è sempre vera, indipendentemente dal valore di verità di [math]q[/math].
✅ Risposta: vera.
Questo è l’esercizio più contro-intuitivo e, per questo, il più importante. Mostra che un’ipotesi falsa rende l’intera implicazione vera, a prescindere dalla conclusione. La logica non si occupa di “causa-effetto”, ma solo della non-occorrenza di “vero → falso”.
Applicazione pratica: Nella verifica formale dei sistemi, se si può dimostrare che una certa condizione di errore (l’ipotesi) non può mai verificarsi (è sempre falsa), allora qualsiasi conseguenza derivante da quell’errore è irrilevante, e il sistema è considerato sicuro rispetto a quella catena logica.
✅ Q6. Equivalenza logica
Esercizio:
Verifica il valore di verità di:
- [math]p[/math]: “10 è maggiore di 5” (vera)
- [math]q[/math]: “5 è minore di 10” (vera)
Calcola [math]p \leftrightarrow q[/math].
Soluzione:
[math]p \leftrightarrow q = \text{vera} \leftrightarrow \text{vera} \rightarrow \checkmark \text{ vera}[/math]
🔁 Se una delle due proposizioni fosse falsa, l’equivalenza sarebbe falsa.
L’esercizio “10 > 5 se e solo se 5 < 10” mostra come due frasi sintatticamente diverse possano essere semanticamente identiche. È il cuore della semplificazione e dell’ottimizzazione.
Applicazione pratica: Refactoring del codice. Un programmatore può sostituire una condizione complessa con una più semplice ma logicamente equivalente per migliorare la leggibilità e le performance, con la certezza matematica che il comportamento del programma non cambierà.
✅ Q7. Predicato logico
Esercizio:
Sia [math]P(x)[/math]: “x è divisibile per 3”.
Quali delle seguenti sono proposizioni vere?
- [math]P(6)[/math]
- [math]P(10)[/math]
- [math]P(0)[/math]
Soluzione:
- a) 6 è divisibile per 3 → ✅ vera
- b) 10 non è divisibile per 3 → ❌ falsa
- c) 0 è divisibile per 3 → ✅ vera (0 ÷ 3 = 0)
L’esercizio fa il salto dalla logica proposizionale (frasi fisse) a quella predicativa (modelli con variabili). P(x) è uno “stampo” per creare infinite proposizioni.
Applicazione pratica: È il fondamento dei linguaggi di programmazione tipizzati e delle funzioni. La funzione is_divisible_by_3(int x) è la perfetta incarnazione del predicato P(x).
✅ Q8. Induzione matematica
Esercizio:
Usa il principio di induzione per dimostrare che, per ogni [math]n \in \mathbb{N}^{+}[/math]:
[math]\displaystyle 1+2+3+\dots+n = \frac{n(n+1)}{2}[/math]
Soluzione:
✅ Base ([math]n = 1[/math]):
LHS (Left Hand Side) = [math]1[/math]
RHS (Right Hand Side) = [math]\frac{1(1+1)}{2} = \frac{1 \cdot 2}{2} = 1[/math]
→ La formula è valida per [math]n=1[/math].
✅ Passo induttivo:
Supponiamo che la formula sia vera per un generico [math]n = k[/math], ovvero:
[math]\displaystyle 1+2+\dots+k = \frac{k(k+1)}{2}[/math]
Ora, dimostriamola per [math]k+1[/math]. Dobbiamo mostrare che:
[math]\displaystyle 1+2+\dots+k+(k+1) = \frac{(k+1)((k+1)+1)}{2} = \frac{(k+1)(k+2)}{2}[/math]
Partiamo dal lato sinistro dell’equazione per [math]k+1[/math]:
[math]\displaystyle \begin{aligned} (1+2+\dots+k)+(k+1) &= \frac{k(k+1)}{2} + (k+1) \\ &= \frac{k(k+1) + 2(k+1)}{2} \\ &= \frac{(k+1)(k+2)}{2} \end{aligned}[/math]
Abbiamo ottenuto il lato destro dell’equazione per [math]k+1[/math].
→ La formula è valida anche per [math]k+1[/math].
📌 Conclusione: Per il Principio di Induzione Matematica, la formula [math]\displaystyle 1+2+3+\dots+n = \frac{n(n+1)}{2}[/math] è valida per ogni [math]n \in \mathbb{N}^{+}[/math].
Questo esercizio mostra come, verificando un caso base e un “effetto domino” (il passo induttivo), si possa dimostrare una proprietà valida per un’infinità di casi senza doverli testare tutti.
Applicazione pratica: La ricorsione in informatica. Per dimostrare che una funzione ricorsiva è corretta, si usa un approccio induttivo: si dimostra che funziona per il caso base (es. una lista vuota) e si dimostra che se funziona per un input di dimensione k, allora funzionerà anche per k+1.
(406)
Altri articoli nella categoria "Logica"
- Invarianti e monovarianti: come risolvere problemi matematici con 6 esercizi
- Perché “Questa frase è falsa” è un paradosso? Guida completa con esercizi risolti
- Calcolo del Rapporto tra Aree in un Quadrato: Perché Angoli Uguali non Generano Spazi Uguali
- La Logica della Negazione: Guida Pratica per Smascherare le Falsità (con 6 Esercizi Progressivi)
- Teoria degli Insiemi Spiegata: Guida con Esercizi per Superare il Test d’Ingresso
- Logica Proposizionale e Predicativa: Guida Completa per Informatica e AI
- Logica Matematica: 11 Esercizi Risolti e Spiegati (da Facile a Difficile)
- Metti alla Prova la Tua Logica: Tre Esercizi con Soluzioni Spiegate Passo a Passo
- A Occhio e Croce con Fermi: L’Arte di Stimare l’Impossibile
- Esercizi di calcolo combinatorio: i possibili risultati di una squadra di calcio