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

Contenuto cancellato Contenuto aggiunto
Riga 73:
 
Nelle regole le sentenze che assumiamo come ipotesi sono indicate tra parentesi. Nella regola di introduzione dell' <math>\rightarrow</math> per esempio vediamo il teorema di deduzione: se dall' assunzione di <math>\Phi</math> ottengo la dimostrazione di <math>\Psi</math> allora posso derivare che <math>\Phi</math> implica <math>\Psi</math>.
 
=== Altre regole per la logica classica ===
 
== Esempi ==