Predicate logic is mainly used to:
Represent relationships using variables
Discuss theoretical concepts, mathematical formulas, and architectural foundations.
`backticks`