18.
Ich befehle zuerst f(∃); er
befolgt den Befehl & tut f(a). Nun denke
ich, ich hätte ihm ja gleich den Befehl
f(∃)
⌵ f(a) geben können.
(Denn daß f(a) den Befehl
f(∃) befolgt
w
ußte ich ja früher & es kam
ja
auf dasselbe hinaus ihm f(∃) ⌵
f(a) zu befehlen.) Und dann hätte
er sich also
bei der Befolgung || beim
Befolgen nach
der || einer Disjunktion
„tue
Eines oder
f(a)”
gerichtet. Und ist es wenn er den Befehl durch
f(a) befolgt nicht
gleich(
gültig) was in
Disjunktion mit f(a) steht?
Wenn er auf jeden Fall f(a) tut, so ist ja doch
der Befehl befolgt, was immer die Alternative ist.
1