Predicate Logic Formula

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

A Predicate Logic Formula is a Well-Formed Formula of the Predicate Logic System in which a predicate variable is followed by any number of individual variables.



References

2019a

2019b

Quantifiers have the highest precedence in logical expressions.

2018