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