Search for "Predicate logic" in article titles:

1. Predicate (logic): In logic, a predicate is a symbol that represents a property or a relation. For instance, in the first-order formula P ( a ) {\displaystyle P(a)} , the symbol P {\displaystyle P} is a predicate that applies to the individual constant ... (Logic) [100%] 2025-08-09 [Predicate logic] [Propositional calculus]...
2. Predicate functor logic: In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic devices called ... (Algebraization of first-order logic) [81%] 2023-02-18 [Algebraic logic] [Mathematical axioms]...
3. Extension (predicate logic): The extension of a predicate – a truth-valued function – is the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation. (Philosophy) [81%] 2024-04-03 [Predicate logic]
4. Formulas in predicate logic: Examples: Formulas with n-place predicates can be broken down in T(n-1) formulas with 2-place predicates. These triangles (or vectors) with up to 8 different entries are a convenient way to determine whether one formula implies another ... [70%] 2023-10-24 [Logic]
5. Formulas in predicate logic; different predicates: Negation of "Someone trusts and admires everyone. Negation of "Everyone has someone whom they don't love, but admire. Negation of "Everyone has someone whom they neither love nor admire. [57%] 2023-04-12 [Logic]