Predicate Logic Language

From GM-RKB
(Redirected from predicate logic language)
Jump to navigation Jump to search

A Predicate_Logic_Language is a Formal Language that …

  • Context:
  • 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.