Template:Individual-TLP-paragraph-en-6.1264

6.1264 The significant proposition asserts something, and its proof shows that it is so; in logic every proposition is the form of a proof.

Every proposition of logic is a modus ponens presented in signs. (And the modus ponens can not be expressed by a proposition.)