predicate logic

Noun

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.005

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.

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.005