[4112] Se Luigi va a passeggiare, allora è contento. Da quale delle seguenti affermazioni può essere Logica doc_2012mente dedotta l'affermazione precedente?
| La maggioranza delle persone se è contenta va a passeggiare | |
| Tutte le persone contente vanno a passeggiare | |
| Tutte le persone che non vanno a passeggiare non sono contente | |
| Nessuno va a passeggiare se non è contento |