La parola chiave "Solo se" individua una condizione necessaria: Solo se B, allora A

Individuiamo le parti A e B:

A = si evitano gli incidenti sulla spiaggia

B = il bagnino è presente

La struttura logica presente è data da una regola (la condizione necessaria "Solo se il bagnino è presente, si evitano gli incidenti sulla spiaggia") e da un caso che viene introdotto nelle risposte.

Analizziamo le risposte:

A) Viene introdotto il caso ¬A (non A) "non si evitano gli incidenti sulla spiaggia". La particella Se nella risposta serve solamente ad introdurre il caso. Se ci riferiamo alla tabella dei casi delle condizioni necessarire, siamo nel CASO 2.

Non si può trarre alcuna conclusione certa ; il bagnino può essere presente oppure non esserlo.

B) Viene introdotto il caso B "il bagnino è presente". Come nelle altre risposte, la particella Se nella risposta serve solamente ad introdurre il caso. Se ci riferiamo alla tabella dei casi delle condizioni necessarire, siamo nel CASO 3.

Non si può trarre alcuna conclusione certa ; gli incidenti sulla spiaggia possono essere evitati oppure non esserlo.

C) Viene introdotto il caso ¬B (non B) "il bagnino non è presente". Come nelle altre risposte, la particella Se nella risposta serve solamente ad introdurre il caso. Se ci riferiamo alla tabella dei casi delle condizioni necessarire, siamo nel CASO 4.

Si può trarre una conclusione certa: Si evitano gli incidenti sulla spiaggia.

La struttura della deduzione è: ( A solo se B ) ᴧ ¬B ➔ ¬A

D) Viene introdotto il caso B come nella risposta B: "il bagnino è presente". Siamo nel CASO 3.

E) Viene introdotto il caso ¬B (non B) "il bagnino non è presente". Se ci riferiamo alla tabella dei casi delle condizioni necessarire, siamo nel CASO 4. La conclusione tratta però è errata. La conclusione esatta del CASO 4 è data dalla risposta C.