6.1264

La proposición significativa expresa algo y su prueba muestra que eso es así; en la lógica, cada proposición es la forma de una prueba.