存在そんざいの記法

$\neg\,(\,\forall v_1\,(\neg\,\varphi)\,)$ を $\exists v_1\,\varphi$ と書く。