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

Template:Individual-TLP-paragraph-es-5.46 (view source)

1 byte removed , 1 year ago

m

Bot: Automated text replacement (-{{ParTLP\|(\d\.\d{1,7})}} \n +{{ParTLP|\1}} )

5,235

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-es|{{ParTLP|5.46}}
+{{ParTLPwrapper-es|{{ParTLP|5.46}} Cuando se hubieran introducido correctamente los signos lógicos, entonces ya se habría introducido así también el sentido de todas sus combinaciones; así, no solo «''p'' ∨ ''q''», sino también «~(''p'' ∨ ~''q'')», etc. etc. Se habría también introducido ya con ello el efecto solo de todas las posibles combinaciones de paréntesis. Y así estaría claro que los signos primitivos generales propios no son los «''p'' ∨ ''q''», «(∃''x'') . ''fx''», etc., sino la forma más general de sus combinaciones.
-Cuando se hubieran introducido correctamente los signos lógicos, entonces ya se habría introducido así también el sentido de todas sus combinaciones; así, no solo «''p'' ∨ ''q''», sino también «~(''p'' ∨ ~''q'')», etc. etc. Se habría también introducido ya con ello el efecto solo de todas las posibles combinaciones de paréntesis. Y así estaría claro que los signos primitivos generales propios no son los «''p'' ∨ ''q''», «(∃''x'') . ''fx''», etc., sino la forma más general de sus combinaciones.
 }}