Teoria del primo ordine: differenze tra le versioni

→‎Dimostrazioni formali: incornicio la definizione
(→‎Dimostrazioni formali: incornicio la definizione)
 
== Dimostrazioni formali ==
<div style="float:center; width:85%; padding:15px; background: #f5f8ff; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left">
 
Una ''dimostrazione'' di una formula <math>\varphi</math> in una teoria del primo ordine '''T''' è una sequenza ordinata di formule
:<math>(\varphi_1,\varphi_2,...,\varphi_n)</math>
* <math>\varphi_n=\varphi</math>
* ogni formula <math>\varphi_i</math> o è un ''assioma'' di '''T''' o è deducibile da una o più formule ad essa precedenti mediante una [[regola di inferenza]].
</div>
 
Una formula che ha una ''dimostrazione formale'' in '''T''' si dice '''dimostrabile''' o '''derivabile'''. Se la formula <math>\varphi</math> è dimostrabile in '''T''' si usa la notazione
:<math>\vdash_T \varphi</math>
3 866

contributi