Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 17:
Vediamo quindi le regole:
<table width=100%>
<math>\Phi \quad\quad \Psi</math>▼
<tr>
<td>
<math>{\Phi \quad\Psi} \over {\Phi \wedge \Psi}</math>
</td>
<td>
</td>
<td>
<math>\Phi \wedge \Psi</math>▼
Introduzione di <math>\wedge</math>
</td>
<td>
▲<math>{\Phi \wedge \Psi} \over \Phi</math>
</td>
<td>
<math>{\Phi \wedge \Psi} \over \Psi</math>
</td>
<td>
Eliminazione di <math>\wedge</math>
</td>
</tr>
<tr>
<td>
</td>
<td>
<math>\Psi \over {\Phi \vee \Psi}</math>
</td>
<td>
Introduzione di <math>\vee</math>
</td>
<td>
<math>{\Phi \vee \Psi \quad \chi} \over \chi</math>
</td>
<td></td>
<td>
Eliminazione di <math>\vee</math>
</td>
</tr>
</table>
|