Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 75:
=== 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>
| |||