Deduzione naturale

[Zingarelli]

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?

[dan95]

Attento la formalizzazione di b) è $E \Rightarrow C$

Quindi la 1) è equivalente a dire $(C ^^ \not P) \Rightarrow \not L$ ma siccome $\not P$ è vera per i potesi e $E \Rightarrow C$ segue la tesi.

[Zingarelli]

Attento la formalizzazione di b) è $ E \Rightarrow C $

Quindi la 1) è equivalente a dire $ (C ^^ \not P) \Rightarrow \not L $ ma siccome $ \not P $ è vera per i potesi e $ E \Rightarrow C $ segue la tesi.

Grazie mille!