136
contributi
Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Logica matematica/Calcolo delle proposizioni/La deduzione naturale (modifica)
Versione delle 20:00, 18 nov 2007
, 15 anni fa→Le regole
m (User-controlled Bot: table syntax updated) |
|||
|
|
<math>{\Phi \quad\Psi} \over {\Phi \wedge \Psi}</math>
|
Introduzione di <math>\wedge</math>
|
Introduzione di <math>\vee</math>
|
<math>{\Phi \vee \Psi \quad {\stackrel{(\Phi)}{\stackrel{\vdots}{\chi}}}{\stackrel{(\Psi)}{\stackrel{\vdots}{\chi}}}} \over \chi</math>
|
Eliminazione di <math>\vee</math>
|-----
|
<math>\stackrel{(\Phi)}{\stackrel{\vdots}{\Psi}} \over {\Phi \rightarrow \Psi}</math>
|
Introduzione di <math>\rightarrow</math>
|
<math>{\Phi \quad \Phi \rightarrow \Psi} \over \Psi</math>
|
Eliminazione di <math>\rightarrow</math>
|}
Questa ci dice che se abbiamo una dimostrazione di <math>\Phi</math> e una dimostrazione di <math>\Psi</math> (la riga sopra la barra orizzontale) possiamo derivare la frase <math>\Phi \wedge \Psi</math> che è da considerarsi dimostrata.
La regola si può anche utilizzare in senso inverso, se devo dimostrare la congiunzione (frase sotto la riga orizzontale) devo procurarmi una dimostrazione delle due sentenze che la compongono (frasi sopra la riga).
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>.
| |||