mathworld.wolfram.com
Unknown
MathWorld is an online, comprehensive mathematics encyclopedia by Wolfram Research. It provides detailed articles on logic topicsâincluding predicate logicâwith definitions, explanations, theorems, examples, and links to related concepts.
More resources on Predicate Logic
Introduction to Logic
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
ProofWeb
Online predicate logic proof checker (free)
Stanford Encyclopedia of Philosophy - Classical Logic
Comprehensive entry on predicate logic
forall x Open Logic Project
Free interactive textbook on formal logic including predicate
Mathematical Logic
Learn predicate logic with this course by Richard Stanley. Explore key mathematical concepts and boost your analytical skills.
plato.stanford.edu
Stanford Encyclopedia of Philosophy (plato.stanford.edu) is a free, open-access, peerâreviewed reference work for philosophy. It hosts in-depth, expert-authored articles on logic, including predicate logic, offering formal explanations, historical context, and extensive bibliographies.