Advances and Applications in Discrete Mathematics
Volume 25, Issue 2, Pages 263 - 266
(November 2020) http://dx.doi.org/10.17654/DM025020263 |
|
THE GAME METHOD
Adi Jarden
|
Abstract: 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. |
Keywords and phrases: truth value, semantics, first order logic.
|
|
Number of Downloads: 185 | Number of Views: 519 |
|