Linguaggio Naturale vs Linguaggio Formale

Quando parliamo tutti i giorni, spesso siamo ambigui o vaghi. Il linguaggio naturale che usiamo normalmente può essere interpretato in modi diversi. Al contrario, il linguaggio formale è preciso e senza eccezioni - perfetto per la matematica e l'informatica.

La logica matematica è quella parte della matematica che controlla la correttezza del nostro linguaggio e dei nostri ragionamenti. Ti aiuta a essere sicuro che quello che dici abbia senso!

Un enunciato (o proposizione) è una frase di cui puoi dire con certezza se è vera (V) o falsa (F). Per esempio: "Nella 1P ci sono 14 studenti" è un enunciato, mentre "Nella 1P ci sono pochi studenti" non lo è (cosa significa "pochi"?).

Ricorda: La logica si basa su tre principi fondamentali: un enunciato può essere solo vero o falso, non può essere contemporaneamente vero e falso, e mantiene il suo valore di verità nel contesto considerato.

Enunciati e Connettivi Logici

Gli enunciati elementari contengono una sola forma verbale, come "Nella 1P ci sono 18 studenti". Puoi combinare più enunciati usando i connettivi logici - le "operazioni" tra proposizioni.

La negazione (¬) cambia il valore di verità: se p è vera, allora "non p" è falsa e viceversa. È come dire il contrario!

La congiunzione (∧) unisce due proposizioni con "e": p∧q è vera solo quando entrambe le proposizioni sono vere. Se anche solo una è falsa, tutta l'espressione diventa falsa.

Trucco: Per ricordare la congiunzione, pensa che deve essere tutto perfetto - basta un elemento falso per rovinare tutto!

Disgiunzione Inclusiva ed Esclusiva

La disgiunzione inclusiva (∨) usa "o" nel senso di "almeno uno": p∨q è vera se almeno una delle due proposizioni è vera. È falsa solo quando entrambe sono false.

La disgiunzione esclusiva (⊕) usa "o" nel senso di "una o l'altra ma non entrambe": p⊕q è vera quando una proposizione è vera e l'altra è falsa. Se sono entrambe vere o entrambe false, l'espressione è falsa.

Per esempio, se p è "24 è pari" (vero) e q è "3 è primo" (vero), allora p∨q è vera (almeno una è vera) ma p⊕q è falsa (sono entrambe vere).

Differenza chiave: Inclusiva = "almeno uno", Esclusiva = "uno o l'altro ma non entrambi"!

Implicazione e Coimplicazione

L'implicazione (⇒) si legge "se... allora...": p⇒q è falsa solo quando p è vera e q è falsa. In tutti gli altri casi è vera. Può sembrare strano, ma è logico!

Se dici "Se oggi è Natale allora non c'è scuola" e oggi non è Natale, la tua affermazione rimane comunque valida, qualunque cosa accada con la scuola.

La coimplicazione (⇔) si legge "se e solo se": p⇔q è vera quando entrambe le proposizioni hanno lo stesso valore di verità (entrambe vere o entrambe false).

Ricorda: L'implicazione è falsa solo in un caso specifico, mentre la coimplicazione richiede che i valori di verità coincidano!

Regole di Deduzione

Le regole di deduzione ti garantiscono ragionamenti corretti. Parti dalle ipotesi e arrivi alla tesi seguendo regole precise.

Il Modus Ponens funziona così: se hai "a⇒b" (se piove porto l'ombrello) e sai che "a" è vero (piove), allora puoi concludere che "b" è vero (porto l'ombrello).

Il Modus Tollens va al contrario: se hai "a⇒b" (se ho fame allora mangio) e sai che "¬b" è vero (non mangio), allora puoi concludere "¬a" (non ho fame).

Attenzione: Queste regole funzionano solo in una direzione - non puoi invertire le conclusioni!

Sillogismo e Predicati

Il Sillogismo collega tre proposizioni: da "a⇒b" e "b⇒c" puoi concludere "a⇒c". È come una catena logica: se A porta a B e B porta a C, allora A porta a C.

Un enunciato aperto contiene una variabile (x) che può assumere diversi valori in un dominio D. Per esempio: "x è un numero negativo" dove x∈Z.

L'insieme di verità di p(x) contiene tutti i valori di x per cui p(x) è vera. Se p(x) è "x è primo" con x∈N, allora l'insieme di verità è {2, 3, 5, 7, 11, ...}.

Consiglio: Pensa agli enunciati aperti come a formule che diventano vere o false a seconda del valore che sostituisci alla variabile!

Operazioni con Insiemi di Verità

Quando hai enunciati aperti p(x) e q(x), le operazioni logiche corrispondono a operazioni tra insiemi.

La congiunzione p(x)∧q(x) corrisponde all'intersezione P∩Q degli insiemi di verità. La disgiunzione p(x)∨q(x) corrisponde all'unione P∪Q.

Le Leggi di De Morgan collegano negazione, congiunzione e disgiunzione: la negazione di "p e q" equivale a "non p o non q", e viceversa.

Visualizza: Immagina gli insiemi come cerchi che si sovrappongono - l'intersezione è la parte comune, l'unione è tutto insieme!

Quantificatori

I quantificatori esprimono "quanto" di qualcosa esiste o è vero.

Il quantificatore esistenziale (∃) significa "esiste almeno uno": ∃x∈A P(x) si legge "esiste almeno uno studente della 1P che ha 14 anni".

Il quantificatore universale (∀) significa "tutti": ∀x∈A P(x) si legge "tutti gli studenti della 1P hanno 14 anni".

La negazione dei quantificatori segue regole precise: negare "esiste" diventa "per tutti non", e negare "per tutti" diventa "esiste almeno uno che non".

Trucco: Ricorda che negare un quantificatore lo trasforma nel suo opposto con la negazione del predicato!

Negazione dei Quantificatori

Quando neghi i quantificatori, cambiano completamente significato.

La negazione di "∃x∈A P(x)" diventa "∀x∈A ¬P(x)": se non è vero che "esiste uno studente con gli occhiali", allora "tutti gli studenti non hanno gli occhiali".

La negazione di "∀x∈A P(x)" diventa "∃x∈A ¬P(x)": se non è vero che "tutti saranno promossi", allora "esiste almeno uno studente che non sarà promosso".

Questa trasformazione è fondamentale per manipolare correttamente le formule logiche e capire quando una affermazione è vera o falsa.

Importante: Negare i quantificatori è come girare una moneta - "tutti" diventa "almeno uno che non" e viceversa!