Se l’enunciato “Se continui a gridare, perderai la voce” vale [A → B] e l’enunciato “Non risolverai il problema” vale [¬C], allora l’enunciato “Se continui a gridare, non solo non risolverai il problema, ma perderai la voce” vale:
La proposizione iniziale è una condizione sufficiente dove A rappresenta la causa e B l’effetto. Nella condizione sufficiente basta che accada la causa A perché accada l’effetto B, ciò viene spesso rappresentato con una freccia da A verso B, [A → B]. La terza proposizione viene presentata come una proposizione negativa con il simbolo ¬C (C=risolvi il problema; ¬C =non risolvi il problema).
La proposizione proposta nel quiz è ancora una condizione sufficiente dove A rappresenta la condizione e “¬C Λ B” rappresenta l’effetto. Il simbolo Λ rappresenta il connettivo logico ET. Nella condizione sufficiente basta che accada la causa A perché accada l’effetto [¬C Λ B], ciò viene spesso rappresentato con una freccia da A verso [¬C Λ B], [A → [¬C Λ B]].
