Predicate logic Uncommon

Origin: Latin prefix pre-

Definition, synonyms and related words

Definitions

Noun

The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.

See Also

second order logic many sorted logic predicate calculus relational model prenex normal form existential instantiation term logic infinitary logic

Related Terms

second order logic many sorted logic predicate calculus relational model prenex normal form existential instantiation term logic infinitary logic first order logic monadic predicate logic

Rhyming Words

yogic ergic algic logic zigic magic argic phagic belgic tragic agogic fungic energic otalgic plaggic ellagic iraggic pelagic anergic unmagic

Compare