Also k.A was du genau meinst aber lt. deinem Tablaux

wenn es heißt

true (Ex)P(x)
dann musst du ein neues konstantensymbol verwenden, nur nicht a oder b^^

hahaha made my day xD