Cheap and Secure Web Hosting Provider : See Now

[Solved]: Difference between First Order Logic and Predicate Calculus

, , No Comments
Problem Detail: 

I see the two used interchangeably. Is one the subset of the other or are they both the same thing?

Asked By : Namster

Answered By : David Richerby

First-order logic and first-order predicate calculus are the same thing, which is exactly why the terms are used interchangeably. See, for example, Wikipedia:

First-order logic [...] is also known as first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic.

Best Answer from StackOverflow

Question Source :

3.2K people like this

 Download Related Notes/Documents


Post a Comment

Let us know your responses and feedback