«Se piove, la strada è bagnata.» Sapendo che la strada non è bagnata, che cosa si può concludere con certezza?
- A Non sta piovendo. ✓
- B Sta piovendo.
- C La strada è comunque bagnata per altri motivi.
Risposta corretta: A
Spiegazione
Si applica il modus tollens: da «se P allora Q» e dalla negazione di Q (la strada non è bagnata) segue la negazione di P (non piove). Se infatti piovesse, la strada sarebbe necessariamente bagnata.