HOME TOP UP PREV NEXT ENGLISH MAP      Logisch-philosophische Abhandlung 5.5321


5.5321
Statt "(x) : fx  HOOK  x=a" schreiben wir also z.B. "( EXISTS x) . fx .  HOOK fa : ~(  EXISTS x, y) . fx . fy".

Und der Satz "Nur Ein x befriedigt f( )" lautet: "( EXISTS x) . fx : ~(  EXISTS x, y) . fx . fy".


HOME TOP UP PREV NEXT ENGLISH MAP      Logisch-philosophische Abhandlung 5.5321