= First-order predicate
{wiki=First-order_predicate}
A first-order predicate, also known as a first-order relation, is a fundamental concept in mathematical logic and predicate logic. It refers to a statement or a function that can take one or more arguments and returns a true or false value based on those arguments. \#\#\# Key Components of First-order Predicate Logic: 1. **Predicates**: A predicate is a function that takes one or more arguments and returns a truth value (true or false).
Back to article page