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
|