Template:Individual-TLP-paragraph-es-6.1264

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.

Cada proposición de la lógica es un modus ponens representativo en signos. (Y el modus ponens no se puede expresar mediante una proposición).