5,235
edits
m (Bot: Adding - }}) |
m (Bot: Adding {{ParTLPwrapper-de|) |
||
Line 1: | Line 1: | ||
{{ParTLPwrapper-de| | |||
{{ParTLPde|5.532}} Und analog: Nicht „(∃''x, y'') ''. f'' (''x, y'') ''. x'' = ''y''“, sondern „(∃''x'') ''. f'' (''x, x'')“; und nicht „(∃''x, y'') ''. f'' (''x, y'') ''.'' ∼''x'' = ''y''“, sondern „(∃''x, y'') ''. f'' (''x, y'')“. | {{ParTLPde|5.532}} Und analog: Nicht „(∃''x, y'') ''. f'' (''x, y'') ''. x'' = ''y''“, sondern „(∃''x'') ''. f'' (''x, x'')“; und nicht „(∃''x, y'') ''. f'' (''x, y'') ''.'' ∼''x'' = ''y''“, sondern „(∃''x, y'') ''. f'' (''x, y'')“. | ||