Teoria del primo ordine: differenze tra le versioni

(→‎Proprietà sintattiche: +voci correlate)
* '''sintatticamente consistente''' se non esiste nessuna formula <math>\varphi</math> per cui si ha
:<math>\vdash_T \varphi</math> e contemporaneamente <math>\vdash_T \neg \varphi</math>
 
== Voci correlate ==
* [[Logica proposizionale]]
* [[Teoria del primo ordine]]
* [[Completezza (logica matematica)|Completezza]]
* [[Consistenza (logica matematica)|Consistenza]]
 
[[Categoria:Logica matematica]]
3 866

contributi