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

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

1 byte removed , 2 years ago

m

Bot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|)

5,235

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-de|
+{{ParTLPwrapper-de|{{ParTLPde|5.532}} Und analog: Nicht „(∃''x, y'') ''. f'' (''x, y'') ''. x'' <nowiki>=</nowiki> ''y''“, sondern „(∃''x'') ''. f'' (''x, x'')“; und nicht „(∃''x, y'') ''. f'' (''x, y'') ''.'' ∼''x'' <nowiki>=</nowiki> ''y''“, sondern „(∃''x, y'') ''. f'' (''x, y'')“.
-{{ParTLPde|5.532}} Und analog: Nicht „(∃''x, y'') ''. f'' (''x, y'') ''. x'' <nowiki>=</nowiki> ''y''“, sondern „(∃''x'') ''. f'' (''x, x'')“; und nicht „(∃''x, y'') ''. f'' (''x, y'') ''.'' ∼''x'' <nowiki>=</nowiki> ''y''“, sondern „(∃''x, y'') ''. f'' (''x, y'')“.
 (Also statt des Russell’schen „(∃''x, y'') ''. f'' (''x, y'')“: „(∃''x, y'') ''. f'' (''x, y'') ''.'' ∨ ''.'' (∃''x'') ''. f'' (''x, x'')“.)
 }}