Definition of Predicate logic

1. Noun. (logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. ¹

2. Noun. (logic) First-order logic. ¹

¹ Source: wiktionary.com

Lexicographical Neighbors of Predicate Logic

predials
predialysis
prediastolic
predicability
predicable
predicables
predicably
predicament
predicamental
predicaments
predicand
predicant
predicants
predicate
predicate calculus
predicate logic (current term)
predicated
predicates
predicating
predication
predications
predicative
predicative adjective
predicative adjectives
predicative case
predicative cases
predicatively
predicatives
predicator
predicators

Other Resources:

Search for Predicate logic on Dictionary.com!Search for Predicate logic on Thesaurus.com!Search for Predicate logic on Google!Search for Predicate logic on Wikipedia!

Search