Logica matematica/Calcolo delle proposizioni: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 15:
=== Compattezza ===
=== Completezza ===
Il calcolo delle proposizioni è un sistema completo, cioè ogni formula vera è dimostrabile.
Questo risultato lega tra loro due concetti completamente diversi tra loro, quello di verità, concetto semantico e legato all' universo che stiamo esplorando, con quello di dimostrazione, concetto sintattico e legato alla semplice manipolazione dei simboli che costituiscono le proposizioni.
| |||