Abstract: It is possible to make decisions mathematically of first order predicate calculus. A new mathematical formula is found for the solution of decision problem. We can reduce a logical algorithm into simple algorithm without logical trees. I For n number of inputs, is there any mathematical formula that answers yes or no? Now it is possible, a mathematical formula is found that can be used to reduce the logical algorithm into simple algorithm without logical trees. This converts logical operation to arithmetic operation. It is a solution for decision problem of first order predicate calculus or first order logic. Therefore in a compute
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.