predicate logic

Subfield of logic

Instance of: mathematical theory
Subclass of: logical system
Part of: logic
, mathematical logic

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In mathematics, philosophy, linguistics, and computer science, first-order logic (FOL), also called predicate logic, predicate calculus, or quantificational logic, is a type of formal system. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables. Rather than propositions such as "all humans are mortal", in first-order logic one can have expressions in the form "for all x, if x is a human, then x is mortal", where "for all x" is a quantifier, x is a variable, and "... is a human" and "... is mortal" are predicates. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, first-order logic is an extension of propositional logic.

Overview

All data

24 statements · 13% with external sources · numbers in brackets are citations

Members / parts: first-order logic
higher-order logic
Different from: first-order logic
Uses: quantifier

On other databases

14 identifiers linking predicate logic across the web's reference databases

Data quality

statements

13%

externally sourced

Source last edited July 10, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q35148

API docs, limits & keys

Cite this page

AIDB. (2026). predicate logic (Q35148). Retrieved from https://aidb.si/e/predicate-logic-Q35148