Difference between First Order Logic and Predicate Calculus

cs.stackexchange https://cs.stackexchange.com/questions/47357

  •  02-11-2019
  •  | 
  •  

Question

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

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top