HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.5321


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

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


HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.5321