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

 
<td>
<math>{\Phi \vee \Psi \quad {\stackrel{(\Phi)}{\chi}}{\stackrel{(\Psi)}{\chi}}} \over \chi</math>
</td>
 
</td>
</tr>
 
 
<tr>
 
<td>
<math>\stackrel{(\Phi)}{\Psi} \over {\Phi \rightarrow \Psi}</math>
</td>
 
<td>
</td>
 
<td>
Introduzione di <math>\rightarrow</math>
</td>
 
<td>
<math>{\Phi \quad \Phi \rightarrow \Psi} \over \Psi</math>
</td>
 
<td></td>
<td>
Eliminazione di <math>\rightarrow</math>
</td>
</tr>
 
 
 
136

contributi