18 apr 2007
- 22:3022:30, 18 apr 2007 diff cron +1 299 Logica matematica/Calcolo delle proposizioni →Tavole di verità
- 22:1122:11, 18 apr 2007 diff cron +1 069 N Logica matematica/Calcolo delle proposizioni/Connettivi Nuova pagina: In questo esempio abbiamo deciso di utilizzare i connettivi <math>\neg </math>, →, ∧ e ∨. La scelta è molto naturale, abbiamo infatti l' operazione di negazione (not), l' impli...
- 22:0422:04, 18 apr 2007 diff cron +68 Logica matematica/Calcolo delle proposizioni →Formule ben formate