Definition:Predicate Logic/Also known as

Predicate Logic: Also known as

Predicate logic is sometimes referred to as first-order logic or first-order language, sometimes unhyphenated as first order.

Some sources refer to it as predicate calculus.

Similarly with propositional logic being referred to as PropLog, predicate logic is often abbreviated to PredLog.

Sources

• 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.2$: Propositional and predicate calculus
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): logic
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): logic