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

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 : http://cs.stackexchange.com/questions/47357

3.2K people like this

 Download Related Notes/Documents