Difference between First Order Logic and Predicate Calculus

Вопрос

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