Predicate Logic Language

A Predicate_Logic_Language is a Formal Language that …

• Context:
  • It can support of a First-Order Logic.
• Example(s):
  • Truth Symbols: true, false
  • Constant Symbols: 5, pipe-1, helen
  • Variable Symbols: X, Person, Day
  • Function Symbols: sin, father !arity
• See: Predicate Logic System.

---