1. Introduzione
Il calcolo proposizionale, o logica proposizionale, è un ramo fondamentale della logica che si concentra sulla manipolazione e combinazione di proposizioniproposizioneUn enunciato che è vero oppure falso, ma non entrambi.Leggi la voce completa, dichiarazioni che possono essere definitivamente dichiarate vere o false. Pone le basi per comprendere sistemi logici più complessi e trova applicazioni in varie discipline.
2. Proposizioni
Propositions are declarative sentences that assert a fact about the world, which can either be true or false, such as "It is raining".
3. Valori di Verità: ⊤ e ⊥
Nella logica proposizionale, usiamo simboli speciali per rappresentare i valori di veritàvalore di veritàUno dei due valori che una proposizione può assumere: vero o falso.Leggi la voce completa: ⊤ (alto) rappresenta VERO e ⊥ (basso) rappresenta FALSO. Questi simboli sono standard nella logica formale e appaiono nelle tabelle di veritàtavola di veritàUna riga per ogni assegnazione di valori, con il valore della formula.Leggi la voce completa in tutta questa guida.
4. Tavole di Verità
Le tavole di verità sono metodi sistematici per determinare il valore di verità delle espressioni logiche basate sui valori di verità delle loro proposizioni costituenti, offrendo una rappresentazione visiva chiara delle operazioni logiche. Possono apparire come segue:
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
5. Operatori Logici
Gli operatori logiciconnettivo logicoUn simbolo che costruisce una proposizione composta da altre più semplici.Leggi la voce completa sono simboli usati per connettere proposizioni o alterare i loro valori di verità, formando la base per costruire espressioni logiche complesse. Gli operatori principali includono:
E ∧
Vero se entrambe le proposizioni che combina sono vere. ∧
| p | q | p ∧ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
O ∨
Vero se almeno una delle proposizioni combinate è vera. ∨
| p | q | p ∨ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊤ |
IMPLICA →
Vero tranne quando la prima proposizione è vera e la seconda è falsa. →
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
BICONDIZIONALE ↔
Vero se entrambe le proposizioni sono ugualmente vere o false. ↔
| p | q | p ↔ q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
6. Espressioni
Le espressioni sono dichiarazioni più complesse formate unendo proposizioni con operatori logici, permettendo la rappresentazione di relazioni logiche sfumate.
7. Equivalenze Logiche
Le equivalenze logiche sono espressioni che mantengono lo stesso valore di verità sotto tutte le condizioni possibili. Includono leggi fondamentali come la Legge di Identità, la Legge di Non-ContraddizionecontraddizioneUna formula falsa sotto ogni interpretazione.Leggi la voce completa e le leggi di De Morganleggi di De MorganLa negazione trasforma ∧ in ∨ e ∨ in ∧: ¬(p ∧ q) ≡ ¬p ∨ ¬q.Leggi la voce completa.
8. Dimostrazioni
Le dimostrazioni nel calcolo proposizionale comportano la dimostrazione della verità di una proposizione basata su assiomi (verità assunte), verità precedentemente stabilite e regole di inferenzaregola di inferenzaUn passo consentito da formule già ottenute a una nuova.Leggi la voce completa. Sono cruciali per validare argomentiargomentoUn insieme di premesse offerte a sostegno di una conclusione.Leggi la voce completa logici e teoremi.
9. Applicazioni
Il calcolo proposizionale non è solo un framework teorico ma ha anche applicazioni pratiche nell'informatica per la verifica del software, in matematica per formalizzare le dimostrazioni, e in filosofia per analizzare gli argomenti. I suoi principi sostengono lo studio di sistemi logici più avanzati, come la logica dei predicatilogica dei predicatiLogica che guarda dentro le proposizioni, agli oggetti e alle loro proprietà.Leggi la voce completa, e giocano un ruolo vitale nello sviluppo del ragionamento logico e delle competenze di pensiero critico.