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

Vediamo quindi le regole:
 
<table width=100%>
<math>\Phi \quad\quad \Psi</math>
<tr>
 
<td>
<math>----------------</math>
<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>
<math>\Phi \quadover {\Phi \quadvee \Psi}</math>
</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>
136

contributi