|
First-Order Logic (1)First order logic is an extension of propositional logic. It considers whether things are true or false in a partial view of the world, called a domain. Logic programming is based upon an extension of first-order logic. As first order logic is well understood and can be mathematically provable it can be used for representing all computational problems. First order logic is made up of syntax and semantics. The syntax of first order logic is a formal language that is used to express concepts. The semantics of first order logic formulae tells us how to determine the truth value of any first order logic formula. First order logic consists of an alphabet, a first order language, a set of axioms and a set of inference rules. The alphabet consists of seven classes of symbols:
|