Coerenza (logica matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 1:
{{stub matematica}}
In [[logica matematica]] una teoria formale si dice '''consistente''' o '''coerente''' se non è contraddittoria. A priori si distiguono due livelli di consistenza:
* '''consistenza sintattica''' se nella teoria non si può dimostrare contemporaneamente una [[formula ben formata]] e la sua negazione.
* '''consistenza semantica''' se la teoria ammette almeno un [[modello (logica matematica)|modello]]
| |||