Difference between First Order Logic and Predicate Calculus

Frage

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

Keine korrekte Lösung

Lizenziert unter: CC-BY-SA mit Zuschreibung

Nicht verbunden mit cs.stackexchange