Template:Individual-TLP-paragraph-es-6.1264: Difference between revisions

m
Bot: Automated text replacement (-{{ParTLP\|(\d\.\d{1,7})}} \n +{{ParTLP|\1}} )
(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).


}}
}}
5,235

edits