Difference between First Order Logic and Predicate Calculus

Pergunta

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

Nenhuma solução correta