$\neg \forall s, s\in S\colon f(x)\in T=\exists s, s\in S\colon f(s)\notin T$