Contributi di Dieghe
Utente con 3 modifiche. Utenza creata il 21 feb 2011.
21 feb 2011
- 01:2601:26, 21 feb 2011 diff cron +203 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Regole derivate
- 01:1701:17, 21 feb 2011 diff cron 0 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Regola di scambio delle premesse
- 01:1501:15, 21 feb 2011 diff cron −1 Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert →Modus Tollens