Corso di Fondamenti di Matematica e Logica: 4 Logica Matematica
Logica Matematica – Il pensiero rigoroso La logica matematica è molto più di un insieme di simboli: è il linguaggio del ragionamento corretto. Pensate alla logica come a una lente che chiarisce ogni argomento, dalla matematica all’informatica, dalla filosofia al diritto. Quando impariamo a usare la logica, diventiamo più bravi a capire se un ragionamento ha senso, se una decisione è giustificata o se una conclusione è corretta. Le proposizioni: mattoni del ragionamento In logica, il concetto fondamentale è la proposizione , ovvero una frase che può essere solo vera o falsa . Non esistono sfumature: “forse” o “non so” non rientrano nella logica formale. Esempi di proposizioni: “Il sole sorge a est” → Vero “5 è un numero pari” → Falso Esempi di frasi non proposizionali: “Chiudi la porta!” (ordine) “Forse domani pioverà” (incertezza) Riconoscere le proposizioni ci permette di analizzare e combinare informazioni in modo rigoroso. Connettivi logici: combinare le proposizioni Le prop...