THE GAME METHOD
The game method is a non-standard method for computing the truth value of a given sentence in a given structure. This method is applicable on sentences of prenex form. We remark that every sentence can be presented in a prenex form.
truth value, semantics, first order logic.