Template:Individual-TLP-paragraph-pt-br-6.1264

6.1264 A proposição significativa asserta algo e sua prova mostra que é assim; na lógica cada proposição está sob a forma de uma prova.

Cada proposição da lógica é um modus ponens representado num signo. (E não é possível exprimir o modus ponens por meio de uma proposição.)