Dalle premesse: solo le persone in buona salute possono donare il sangue, Michele è un donatore di sangue mentre suo fratello Nicolò non lo è, quale delle seguenti deduzioni è vera?
Il quiz presenta un regola e due premesse.
La regola è la condizione necessaria “solo le persone in buona salute possono donare il sangue” che riscriviamo come “solo se sei in buona salute puoi donare il sangue”. Nella quale individuiamo le parti che chiamiamo B ed A. B=”essere in buona salute” e A=”poter donare il sangue”. La regola può essere scritta come: << solo se B, allora A >>.
Sappiamo che da una condizione necessaria (solo se B, allora A) possiamo trovare due situazioni che implicano conseguenze sempre vere:
A vero: infatti se aggiungiamo il caso A vero, possiamo dedurre che sarà B vero.
In termini simbolici scriviamo: (solo se B, allora A) ˄ A ⇒ B
B falso : infatti se aggiungiamo il caso B falso, possiamo dedurre che sarà A falso.
In termini simbolici scriviamo: (solo se B, allora A) ˄ ¬B ⇒ ¬A
Se invece aggiungiamo il caso A falso e B vero non possiamo giungere a conclusioni certe. (Vedi il Grande Manuale di Logica PITEST, capitolo LV3.2 a pag 205)
I due casi presentati nel quiz sono:
1) Michele è un donatore di sangue che equivale a dire che si verifica il caso A. In base a quanto detto prima possiamo dedurre che sarà B vero, cioè che Michele è in buona salute.
2) Nicolò NON è un donatore di sangue che equivale a dire che NON si verifica il caso A (in termini simbolici ¬A). In base a quanto detto prima NON possiamo dedurre se sarà B vero, oppure B falso. Cioè non possiamo affermare se Nicolò è oppure non è in buona salute.
Leggendo le risposte vediamo che solo la risposta E) individua una affermazione corretta.