Difference between First Order Logic and Predicate Calculus

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

  •  02-11-2019
  •  | 
  •  

题

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

没有正确的解决方案

许可以下： CC-BY-SA 和 归因
不隶属于 cs.stackexchange
scroll top