Template:Individual-TLP-paragraph-it-6.1264
6.1264 La proposizione dotata di senso asserisce qualcosa, e la sua dimostrazione mostra che ciò è così; nella logica ogni proposizione è la forma di una dimostrazione.
Ogni proposizione della logica è un modus ponens presentato in segni. (E non si può esprimere il modus ponens con una proposizione.)