Logica matematica/Calcolo delle proposizioni: differenze tra le versioni

Questo risultato lega tra lorounisce 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.