Si consideri il ragionamento:
(a) Se uno studente è lento allora o non consegna o perde la partita
(b) Consegnare è condizione necessaria per passare l'esame
(c) Nessuno studente perderà la partita
(d) Quindi chi passa l'esame non è lento
Ho formalizzato con:
(a) L ⇒ (¬C ∨ P)
(b) C ⇒ E
(c) ¬P
(d) E ⇒ ¬L
Come posso procedere?