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".
HOME TOP UP PREV NEXT GERMAN MAP Tractatus Logico-Philosophicus 5.5321
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".
HOME TOP UP PREV NEXT GERMAN MAP Tractatus Logico-Philosophicus 5.5321