5,235
edits
(Bot: Automated import of articles) |
m (Bot: Automated text replacement (-{{ParTLP\|(\d\.\d{1,7})}} \n +{{ParTLP|\1}} )) |
||
Line 1: | Line 1: | ||
{{ParTLPwrapper-es|{{ParTLP|6.1264}} | {{ParTLPwrapper-es|{{ParTLP|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. | ||
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). | 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). | ||
}} | }} |