Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 93:
<math>(\Phi \rightarrow \Psi \wedge \Psi \rightarrow \chi) \rightarrow (\Phi \rightarrow \chi)</math>
La dimostrazione è:
<math>
{
{
{
{{(\Phi)\quad {{(\Phi \rightarrow \Psi \wedge \Psi \rightarrow \chi)} \over {\Phi\rightarrow\Psi}}} \over \Psi}
\quad
{{(\Phi \rightarrow \Psi \wedge \Psi \rightarrow \chi)} \over {\Psi\rightarrow\chi}}
}
\over
\chi
}
\over
{\Phi \rightarrow \chi}
}
\over
{(\Phi \rightarrow \Psi \wedge \Psi \rightarrow \chi) \rightarrow (\Phi \rightarrow \chi)}
</math>
| |||