prenex normal form - Turkish English Dictionary