predicate logic
Contents
EnglishEdit
NounEdit
predicate logic (plural predicate logics)
 (logic) The generic term for symbolic formal systems like firstorder logic, secondorder logic, manysorted logic or infinitary logic.
 (logic) Firstorder logic.
HyponymsEdit
Derived termsEdit
Related termsEdit
TranslationsEdit
generic term for symbolic formal systems like firstorder logic, secondorder logic, manysorted logic

