«Se Francesca sta parlando con Mirella, allora Gianni e Pinotto stanno giocando a pallone.» Se tale affermazione è corretta, se ne deduce che:
- A Se Gianni non sta giocando a pallone, allora Francesca non sta parlando con Mirella. ✓
- B Se Francesca sta parlando con Mirella, allora Gianni e Pinotto non stanno giocando a pallone.
- C Se Gianni non sta giocando a pallone, allora anche Pinotto non sta giocando a pallone.
Risposta corretta: A
Spiegazione
Vale il modus tollens (legge della contrapposizione): da «se P allora Q» segue «se non Q allora non P». Qui Q è «Gianni e Pinotto giocano»: se Gianni non gioca, Q è falsa e quindi è falsa anche P, cioè Francesca non parla con Mirella. La B nega la premessa e la C non discende dall'implicazione.