Template:Individual-TLP-paragraph-fr-6.1264

6.1264 La proposition pourvue de sens dit quelque chose, et sa démonstration montre qu'il en est comme elle le dit ; en logique, chaque proposition est la forme d'une démonstration.

Chaque proposition de la logique est un modus ponens figuré en signes. (Et le modus ponens ne peut être exprimé par une proposition.)