Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni

nessun oggetto della modifica
Nessun oggetto della modifica
 
9. ora usiamo la regola di introduzione dell' implicazione per arrivare alla formula che volevamo dimostrare
 
== Collegamenti esterni ==
*{{en}} [http://www-lsr.imag.fr/users/Michel.Levy/classical_prop/ Un dimostratore interattivo che utilizza la deduzione naturale].
Utente anonimo