Wikibooks

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

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Riga 104:
}
\over
\chi{
\chi
\over▼
{\Phi \rightarrow \chi}▼
}
}
▲ \over
▲ {\Phi \rightarrow \chi}
}
\over
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni/La_deduzione_naturale"