"Se il mandorlo è in fiore, la rosa marcisce. Se la begonia marcisce il papavero sboccia.
Inoltre o il mandorlo è in fiore o la begonia marcisce". In base alle precedenti affermazioni
è sicuramente vero che:
A) la rosa marcisce o il papavero sboccia
B) il papavero sboccia
C) il mandorlo è in fiore e il papavero sboccia
D) la rosa marcisce e il papavero sboccia
E) la rosa e la begonia marciscono
La risposta corretta è A. OK.
Ho una perplessità sulla formulazione del testo.
Cosa significa "In base alle precedenti affermazioni è sicuramente vero che:"?
Risulta che in tutti i casi in cui l'enunciato del testo è vero solo l'enunciato A è vero.
Ma la tabella di verità dell' enunciato del testo non coincide con quella della risposta A.
Secondo me bisogna precisare: "Nel caso in cui l'enunciato sia vero, allora è sicuramente vero che:"
Siamo nell'ambito della logica formale (solo per risolvere il test) o vale anche ...si sottindende che...(per interpretare il testo)?
Il rigore in questi casi è d'obbligo.