Teoria del primo ordine: differenze tra le versioni

nessun oggetto della modifica
m (r2.7.1) (Bot: Aggiungo: kk:Предикаттық логика)
Nessun oggetto della modifica
* sintatticamente completa se per ogni formula <math>\varphi</math> si ha
:<math>\vdash_T \varphi</math> oppure <math>\vdash_T \neg \varphi</math>
* sintatticamente consistente (coerente) 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>
 
Utente anonimo