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

{\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>
136

contributi