5,963
edits
Template:Individual-TLP-paragraph-de-5.532: Difference between revisions
Template:Individual-TLP-paragraph-de-5.532 (view source)
Revision as of 16:34, 2 April 2022
, 2 years agono edit summary
m (Bot: Adding {{ParTLPwrapper-de|) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-de| | {{ParTLPwrapper-de| | ||
{{ParTLPde|5.532}} Und analog: Nicht „(∃''x, y'') ''. f'' (''x, y'') ''. x'' | {{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'')“.) | (Also statt des Russell’schen „(∃''x, y'') ''. f'' (''x, y'')“: „(∃''x, y'') ''. f'' (''x, y'') ''.'' ∨ ''.'' (∃''x'') ''. f'' (''x, x'')“.) | ||
}} | }} | ||