/  
Oder: Ist es möglich daß (∃x)fx ∙ fa = fa ist, ohne daß (∃x)fx eine Wahrheitsfunktion von fa ist?