Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 87:
{\Phi \over {\Phi \rightarrow \Phi}}
</math>
Svolgiamo ora anche il secondo esempio che avevamo proposto con il sistema di Hilbert.
<math>(\Phi \rightarrow \Psi \wedge \Psi \rightarrow \chi) \rightarrow (\Phi \rightarrow \chi)</math>
| |||