“I limiti del mio linguaggio sono i limiti del mio mondo.” – Ludwig Wittgenstein
Se la Logica del Primo Ordine ci permette di descrivere oggetti e relazioni, la Logica Proposizionale è il mattone fondamentale su cui tutto si regge. È il livello più semplice della logica formale, ma anche quello più pervasivo nel mondo dell’informatica.
Che cos’è una Proposizione?
Una proposizione è un’affermazione che può essere solo Vera (T) o Falsa (F). Non ci sono zone grigie.
- “Il cielo è blu” è una proposizione.
- “Che ore sono?” non lo è.
In logica proposizionale, usiamo delle lettere (variabili) come $P, Q, R$ per rappresentare queste affermazioni.
I Connettivi Logici
Per costruire ragionamenti complessi, combiniamo le proposizioni usando i connettivi logici. Ecco i principali:
- NOT ($\neg$): L’operazione di negazione. Se $P$ è vero, $\neg P$ è falso.
- AND ($\land$): La congiunzione. $P \land Q$ è vero solo se entrambi sono veri.
- OR ($\lor$): La disgiunzione. $P \lor Q$ è vero se almeno uno dei due è vero.
- Implicazione ($\rightarrow$): Se $P$ allora $Q$. Indica una conseguenza logica.
- Doppia Implicazione ($\leftrightarrow$): $P$ se e solo se $Q$. Entrambi devono avere lo stesso valore di verità.
Le Tavole della Verità
Per capire come si comporta un’espressione logica complessa, usiamo le tavole della verità. Queste tabelle elencano tutte le possibili combinazioni di valori per le variabili coinvolte e il risultato finale.
Ad esempio, per l’implicazione ($P \rightarrow Q$):
| $P$ | $Q$ | $P \rightarrow Q$ |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Nota: l’implicazione è falsa solo quando la premessa è vera e la conseguenza è falsa.
Dalla Filosofia ai Chip
Perché uno sviluppatore o un appassionato di AI dovrebbe studiare queste cose?
- Boolean Algebra: Ogni linguaggio di programmazione usa
if,whilee operatori booleani. Questi non sono altro che implementazioni della logica proposizionale. - Circuiti Digitali: Le porte logiche (AND, OR, NOT) all’interno della tua CPU sono la materializzazione fisica di queste regole matematiche.
- Soddisfacibilità (SAT): Molti problemi complessi di pianificazione e logistica vengono risolti trasformandoli in problemi di “soddisfacibilità proposizionale”, cercando cioè una combinazione di valori che renda vera un’intera formula.
La logica proposizionale è il linguaggio della precisione. Imparare a padroneggiarla significa imparare a pensare in modo strutturato, una competenza vitale in un mondo governato dagli algoritmi.