Se diciamo:
“Se Marina è colpevole, anche Antonio è colpevole. Marina è colpevole, quindi Antonio è colpevole”.
Questo ragionamento ha due premesse e una conclusione:
1° premessa: Se Marina è colpevole, anche Antonio è colpevole
2° premessa: Marina è colpevole
Conclusione: Antonio è colpevole
Lo schema si può scrivere come:
A → B, A
B
Questo ragionamento è chiamato modus ponens.
Modus tollens
Se diciamo:
“Se un triangolo è isoscele, allora ha due angoli congruenti; il triangolo non ha due angoli congruenti, quindi il triangolo non è isoscele”.
Questo ragionamento ha due proposizioni:
A: un triangolo è isoscele
B: un triangolo ha due angoli congruenti
Inoltre c’è una implicazione: A→ B
Lo schema si può scrivere come:
A → B, non-B
non-A
Questo ragionamento è chiamato modus tollens.
Quiz di riepilogo:
Se è vero che “tutti i lottatori di sumo sono grassi”, sarà necessariamente vera anche una delle seguenti affermazioni:
tutti i grassi sono lottatori di sumo
intensificare la pratica del sumo fa dimagrire
il sumo non è praticato dai magri
tutti i lottatori di sumo originariamente non erano grassi
sospendere la pratica del sumo fa ingrassare
“Tutti i medici lavorano in ospedale. Cesare lavora in ospedale”. In base alle precedenti informazioni, quale delle seguenti affermazioni è necessariamente vera?
Non è possibile concludere che Cesare sia un medico
Tutti i medici sono bravi
Cesare è medico
Cesare non è un medico
Tutti coloro che lavorano in ospedale sono medici
Se fossero vere le seguenti premesse: "ogni animale vola"; "l'asino è un animale" ne deriverebbe che:
non tutti gli animali volano
l'asino non può volare
non tutti gli asini volano
l'asino vola
non è vero che ogni animale vola
Se Mario è medico deve aver preso la laurea in medicina, Mario non ha studiato medicina. Se tale preposizione è vera ne segue necessariamente che:
Mario non è medico
Mario può essersi laureato in biologia
Mario lavora in ospedale
Non tutti i medici sono laureati in medicina
Non tutti i laureati in medicina sono medici
"Chi va al mare mangia il gelato. Tutti i bambini mangiano il gelato. Francesco va al mare". Se le precedenti affermazioni sono vere quale delle seguenti è necessariamente vera?