HOME TOP UP PREV NEXT 1 GERMAN MAP      Tractatus Logico-Philosophicus 5.532

5.532

And analogously: not "(x, y) . f(x, y) . x=y", but "(x) . f(x, x)"; and not "(x, y) . f(x, y) . ~x=y", but "(x, y) . f(x, y)".

Therefore instead of Russell's "(x, y) . f(x, y)" : "(x, y) . f(x, y) .v. (x) . f(x, x)".)

5.5321

Instead of "(x) : fx  x=a" we therefore write e.g. "(x) . fx .. fa : ~(x, y) . fx . fy".

And if the proposition "only one x satisfies f( )" reads: "(x) . fx : ~(x, y) . fx . fy".