Predicate Logic Language
(Redirected from predicate logic language)
Jump to navigation
Jump to search
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.