Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Logica matematica/Calcolo delle proposizioni/La deduzione naturale (modifica)
Versione delle 19:29, 18 nov 2007
, 15 anni fa→Le regole
|
</td>
</tr>
</table>
Vediamo come si utilizza questo schema prendendo come esempio la prima regola.
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).
| |||