∃論理式

先頭の論理記号が∃の論理式のこと