5,235
edits
Template:Individual-TLP-paragraph-es-6.126: Difference between revisions
Template:Individual-TLP-paragraph-es-6.126 (view source)
Revision as of 11:43, 1 November 2022
, 2 years agoBot: 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.126}} | {{ParTLPwrapper-es|{{ParTLP|6.126}} Si una proposición pertenece a la lógica se puede calcular en tanto que se calculen las cualidades lógicas del {{spaced text|símbolo<!-- template:spaced text -->}}. Y esto hacemos cuando «demostramos» una proposición lógica. Pues, sin preocuparnos por un sentido y un significado, construimos la proposición lógica a partir de otra mediante meras {{spaced text|reglas de signos<!-- template:spaced text -->}}. | ||
Si una proposición pertenece a la lógica se puede calcular en tanto que se calculen las cualidades lógicas del {{spaced text|símbolo<!-- template:spaced text -->}}. Y esto hacemos cuando «demostramos» una proposición lógica. Pues, sin preocuparnos por un sentido y un significado, construimos la proposición lógica a partir de otra mediante meras {{spaced text|reglas de signos<!-- template:spaced text -->}}. | |||
La prueba de las proposiciones lógicas consiste en que las podemos hacer surgir a partir de otras proposiciones lógicas mediante aplicaciones sucesivas de ciertas operaciones, que a partir de la primera producen siempre tautologías. (Y, a decir verdad, a partir de una tautología solo {{spaced text|se siguen<!-- template:spaced text -->}} tautologías). | La prueba de las proposiciones lógicas consiste en que las podemos hacer surgir a partir de otras proposiciones lógicas mediante aplicaciones sucesivas de ciertas operaciones, que a partir de la primera producen siempre tautologías. (Y, a decir verdad, a partir de una tautología solo {{spaced text|se siguen<!-- template:spaced text -->}} tautologías). | ||