[4096] E' stato commesso un omicidio e Alvaro è sospettato di esserne colpevole. E' noto che: 1) se Alvaro è colpevole allora è passato per Vicolo Stretto; 2) Alvaro è passato per Vicolo Stretto. Cosa si può concludere?
L'essere passato per Vicolo Stretto è condizione necessaria per la condizione di colpevolezza
Nessuna delle altre alternative è corretta
Alvaro è sicuramente colpevole
Non ci sono prove sufficienti per decidere della colpevolezza di Alvaro