Pagina principale
Una pagina a caso
entra
Impostazioni
Fai una donazione
Informazioni su Wikibooks
Avvertenze
Ricerca
Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Lingua
Segui
Modifica
Naviga nella cronologia in modo interattivo
← Differenza precedente
Differenza successiva →
Contenuto cancellato
Contenuto aggiunto
Visuale
Wikitesto
Versione delle 20:10, 18 nov 2007
modifica
Gregorio Piccoli
(
discussione
|
contributi
)
136
modifiche
→Le regole
← Differenza precedente
Versione delle 20:11, 18 nov 2007
modifica
annulla
Gregorio Piccoli
(
discussione
|
contributi
)
136
modifiche
→Le regole
Differenza successiva →
Riga 56:
|-----
|
<math>\stackrel{(
\neg
\Phi)}{\stackrel{\vdots}{false}} \over {
\neg
\Phi}</math>
|
||
