(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?