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

=== Altre regole per la logica classica ===
== Esempi ==
 
Proviamo a dimostrare:
 
<math>\Phi \rightarrow \Phi</math>
 
con la deduzione naturale è estremamente semplice, basta ipotizzare <math>\Phi</math> e quindi utilizzare la regola di introduzione di <math>\rightarrow</math>.
 
<math>
\stackrel
{(\Phi)}
{\Phi \over {\Phi \rightarrow \Phi}}
</math>
136

contributi