(∃x)fx
W
W
F
F
fa
W
F
W
F
Aber, meinte ich, muß also nicht (∃x)fx eine Wahrheitsfunktion von fa sein, damit das(Ƒ) möglich ist? Damit diese Abhängigkeit möglich ist?