Predicate Symbol - Natural & Formal Sciences - Mathematics & Logic Dictionary Definition A nonlogical symbol in a formal language that denotes an n-ary relation on the domain and is used to form atomic formulas.
Predicate Symbol - Natural & Formal Sciences - Mathematics & Logic Dictionary Definition A nonlogical symbol in a formal language that denotes an n-ary relation on the domain and is used to form atomic formulas.
