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

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

1 byte removed , 2 years 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.532}}
+{{ParTLPwrapper-es|{{ParTLP|5.532}} Y análogamente: no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'') . ''f'' (''x'', ''x'')»; y no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ~''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'', ''y'') . ''f'' (''x'', ''y'')».
-Y análogamente: no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'') . ''f'' (''x'', ''x'')»; y no «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ~''x'' <nowiki>=</nowiki> ''y''», sino «(∃''x'', ''y'') . ''f'' (''x'', ''y'')».
 (Entonces, en lugar de la russelliana «(∃''x'', ''y'') . ''f'' (''x'', ''y'')»: «(∃''x'', ''y'') . ''f'' (''x'', ''y'') . ∨ . (∃''x'') . ''f'' (''x'', ''x'')»).
 }}