Predicate logic is a sub-branch of symbolic logic.
Thus in predicate logic, simple statements are no longer atomic.
Also known as
Predicate logic is sometimes referred to as first-order logic or first-order language, sometimes unhyphenated as first order.
Similarly with propositional logic being referred to as PropLog, it is often abbreviated to PredLog.
- Results about predicate logic can be found here.