Location of Repository

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?[1][2][3] Now it is possible, a mathematical formula[4] 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

Year: 2013

OAI identifier:
oai:CiteSeerX.psu:10.1.1.307.8094

Provided by:
CiteSeerX

Download PDF:To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.