La risposta corretta è la B.

La risposta B riformula la condizione sufficiente in un altra forma verbale è quivalente.

Infatti la scrittura "Se A allora B" può essere formulata anche nei seguenti modi:

Diverse formulazioni delle Condizioni Sufficienti
Se	Se l'automobile è di colore rosso, allora è sportiva
Quando	Quando l'automobile è di colore rosso, allora è sportiva
Qualora	Qualora l'automobile è di colore rosso, allora è sportiva
Nel caso che	Nel caso che l'automobile è di colore rosso, allora è sportiva
Tutte le volte che	Tutte le volte che l'automobile è di colore rosso, allora è sportiva
Chi	L'automobile che è rossa è sportiva
Tutti	Tutte le automobili rosse sono sportive
E’ sufficiente	È sufficiente che l'automobile sia rossa per essere sportiva
Basta	Basta che l'automobile sia rossa per essere sportiva

Analiziamo le risposte errate:

A) Se un'automobile non è rossa, allora non è sportiva

Caso: l'automobile non nè rossa ¬A

Rispetto alla tabella delle situazioni possibili ci troviamo nel CASO 2 ( A ⇒ B ) ᴧ ¬A

Questa situazione non determina una deduzione certa, ma è possibile sia B che ¬B, cioè è possibile che l'automobile sia sportiva oppure non lo sia. Questa non è la risposta corretta che dovrebbe individuare una deduzione certa.

C) Alcune automobili rosse sono sportive

Questa affermazione introduce un caso indeterminato che porta a poter negare la regola. Infatti la frase che afferma che alcune automobili rosse sono sportive non è totalizzante come la regola che vuole che qualsiasi automobile rossa (tutte) sia sportiva.

D) Tutte le automobili sportive sono rosse

Questo è la tipica risposta a tranello. In fatti se è vero "Se A allora B", non ne consegue che "Se B allora A"

E) Nessuna automobile sportiva è rossa

Questa affermazione è evidentemente errata