predicate logic
English
Noun
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
- first-order logic
- second-order logic
- many-sorted logic
- infinitary logic
Derived terms
Related terms
Translations
generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic
|
|
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.