Deduzioni logiche e affermazioni necessarie
Ogni proposizione logica deve rispettare tre regole fondamentali che sembrano ovvie ma sono la base di tutto. Una cosa non può essere contemporaneamente vera e falsa, ogni affermazione è identica a se stessa, e non esistono vie di mezzo: o è vera o è falsa.
Le affermazioni logicamente necessarie sono quelle che puoi dedurre con certezza assoluta da quello che già sai. Pensa agli insiemi: se tutti gli scoiattoli hanno la coda, e Chip è uno scoiattolo, allora Chip ha sicuramente la coda.
Le negazioni funzionano come interruttori: cambiano sempre il valore di verità. Se dici "non è vero che tutti gli studenti sono pigri", basta trovare anche solo uno studente volenteroso per dimostrare la tua affermazione.
Il sillogismo è il ragionamento classico con due premesse e una conclusione. Se le premesse sono vere, la conclusione deve essere necessariamente vera. È come costruire con i Lego: se hai i pezzi giusti, il risultato è garantito.
💡 Ricorda: Per negare "tutti", basta un controesempio. Per negare "alcuni", devi dimostrare "nessuno".
