predicate logic
Jump to navigation
Jump to search
English[edit]
Noun[edit]
predicate logic (plural predicate logics)
- (logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
- (logic) First-order logic.
Hyponyms[edit]
Derived terms[edit]
Related terms[edit]
Translations[edit]
generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic
|