Tratado lógico-filosófico: Difference between revisions

Tratado lógico-filosófico (view source)

Revision as of 15:58, 9 January 2022

732 bytes added , 2 years ago

no edit summary

MLavazza

Bureaucrats, Editors, Interface administrators, Administrators

5,953

edits

@@ Line 2,041: / Line 2,041: @@
 Y así llegamos a los números: yo defino
-{{parTLP| '''y
+<p style="text-align:center;"><math>x = \Omega^{0 \prime} x \text{ Def.}</math> y<br>
+<math>\Omega^{\prime} \Omega^{ \nu \prime} x = \Omega^{ \nu + 1 \prime} x \text{ Def.}</math></p>
 Así, según estas reglas de signos escribimos la serie
-{{parTLP|''x,'' Ω''<nowiki/>'x'', Ω'Ω'<nowiki/>''x'', Ω'Ω'Ω'<nowiki/>''x'', . . . . .'''
+<math>x, \Omega ' x, \Omega ' \Omega ' x, \Omega ' \Omega ' \Omega ' x, .....</math>
-así: '''Ω<sup>0</sup>'<nowiki/>''x'', Ω<sup>0+1</sup>'<nowiki/>''x'', Ω<sup>0+1+1</sup>'<nowiki/>''x'', Ω<sup>0+1+1+1</sup>'<nowiki/>''x'', . . . . .'''
+<p style="text-align:center;">así: <math>\Omega^{0 \prime} x, \Omega^{0+1 \prime} x, \Omega^{0 + 1 + 1 \prime} x, \Omega^{0 + 1 + 1 + 1 \prime} x, .....</math></p>
-Así escribo, en lugar de «['''''x, ξ'', Ω'<nowiki/>''ξ'']'''»:
+Así escribo, en lugar de «<math>[ x, \xi, \Omega ' \xi ]</math>»:
-«['''Ω<sup>0</sup>'<nowiki/>''x'', Ω<sup>v</sup>'<nowiki/>''x'', Ω<sup>v+1</sup>'<nowiki/>''x''''']»
+<p style="text-align:center;">«<math>[ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]</math>».</p>
 Y defino:
-{{parTLP| <!-- template:parTLP -->}}
+:<math>0 + 1 = 1 \text{ Def.}</math>
+:<math>0 + 1 + 1 = 2 \text{ Def.}</math>
-{{parTLP| <!-- template:parTLP -->}}
+:<math>0 + 1 + 1 + 1 = 3 \text{ Def.}</math>
+:(etcétera).
-{{parTLP| <!-- template:parTLP -->}}
-{{parTLP|(etcétera)'''
 {{parTLP|6.021<!-- template:parTLP -->}}
@@ Line 2,275: / Line 2,272: @@
 {{parTLP|6.241<!-- template:parTLP -->}}
-Así reza la prueba de la proposición   :
+Así reza la prueba de la proposición 2 × 2 = 4:
+<p style="text-align:center;"><math>( \Omega^{ \nu} )^{\mu \prime} x = \Omega^{ \nu \times \mu \prime} x \text{ Def.}</math></p>
+<p style="text-align:center;"><math>( \Omega^{2 \times 2 \prime} x = (\Omega^2 )^{2 \prime} x = ( \Omega^2 )^{1+1 \prime} x = \Omega^{2 \prime} \Omega^{2 \prime} x = \Omega^{1 + 1 \prime} \Omega^{1 + 1 \prime} x</math></p>
+<p style="text-align:center;"><math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math></p>
 {{parTLP|6.3<!-- template:parTLP -->}}