CORSO DI INTRODUZIONE ALLA LOGICA FORMALE

ESERCIZI 1
IL RAGIONAMENTO: VERITÀ E CORRETTEZZA

1. Individua tra i seguenti gruppi di espressioni i ragionamenti e distingui per ciascun ragionamento
le premesse dalle conclusioni
(a) Mi copro perché ho freddo
(b) Quando piove prendo l’ombrello
(c) Piove e fa freddo
(d) Se tutte le frasi sono false, allora non tutte le frasi sono false
(e) La borsa sta crollando: è meglio vendere le azioni
(f) È meglio vendere le azioni o tenerle?
(g) Se esce pari, è palla nostra; ma è uscito dispari, quindi è palla vostra
(h) 3+1=4; 302+1; 201+1; quindi, 2+2=4
2. Individua, tra le seguenti espressioni, gli enunciati dichiarativi
(a) Pronti, via!
(b) Ciascun uomo è come un lupo per l’altro uomo
(c) Ciao
(d) Come stai?
(e) È l’una di notte e tutto va bene
(f) Carlo e Camilla hanno avuto un figlio
3. Riunisci in gruppi gli enunciati che esprimono una medesima proposizione
(a) I love you
(b) Se c’è fuoco, c’è fumo
(c) Se c’è fumo, c’è fuoco
(d) Ogni volta che c’è fumo c’è fuoco
(e) Solo se c’è fuoco, c’è fumo
(f) C’è fuoco, ma c’è fumo
(g) C’è fuoco e c’è fumo
(h) Se c’è fuoco, allora c’è fumo
 (i) Je t’aime
(j) Sei tutto fumo e niente arrosto
(k) Ti amo
(l) Sei tutto fumo, niente arrosto
4. Individua tra i seguenti i ragionamenti scorretti
(a) Tutti gli uomini sono mortali, tutti i gatti sono mortali, quindi tutti gli uomini sono gatti
(b) Tutti gli uomini sono mortali, tutti i padovani sono mortali, quindi tutti i padovani e tutti gli
uomini sono mortali
(c) Tutti i gorilla sono animali, tutti gli animali sono ovipari, quindi tutti i gorilla sono ovipari
(d) Tutti i padovani sono italiani, tutti gli italiani sono europei, dunque tutti i padovani sono europei
(e) Roma è in Italia, l’Italia è in Europa, quindi Roma è in Inghilterra
(f) Socrate era greco, tutti i greci sono africani, quindi Socrate è africano
(g) Qualche americano è un oppositore alla pena di morte, quindi qualche oppositore alla pena di
morte è americano
5. Distingui nei seguenti casi tra ragionamenti induttivi e deduttivi
(a) Se Gino è triste, beve; Gino è triste, quindi beve
(b) Stefano beveva e fumava ed è morto di cancro; anche Franco beveva e fumava ed è morto di
cancro: quindi se uno beve e fuma è predisposto al cancro
(c) 4 è un numero pari ed è la somma di due numeri primi, 66 è un numero pari ed è la somma di
due numeri primi, 8 è un numero pari ed è la somma di due numeri primi; quindi ogni numero
paro è la somma di due numeri primi
(d) Ieri Enrico è andato al lavoro ed è tornato a casa stanca; oggi Enrico è andato al lavoro ed è
tornato a casa stanco; quindi se Enrico va al lavoro torna a casa stanco
(e) Tutti i numeri divisibili per 4 sono divisibili per 2; tutti i numeri divisibili per 8 sono divisibili per
4; quindi tutti i numeri divisibili per 8 sono divisibili per 2