TOPICS

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld

Predicate Logic

See

Predicate Calculus

About MathWorld
MathWorld Classroom
Contribute
MathWorld Book
wolfram.com

15,337 Entries
Last Updated: Fri Oct 2 2026
©1999–2026 Wolfram Research, Inc.
Terms of Use

wolfram.com
Wolfram for Education
Created, developed and nurtured by Eric Weisstein at Wolfram Research

Created, developed and nurtured by Eric Weisstein at Wolfram Research