root `predicate` Notes
Predicate a function that returns a boolean --- https://youtu.be/aIOMRqiwziM?t=560 definition a predicate is a function with boolean function > codomain example in Haskell, the library `Data.Char` is full of predicates, like `isAlpha` and `isDigit` example in my math notation, sets are predicates, and thus a predicate is its own truth set
© 2025 Emilien Breton `Notes/Notes/notes/predicate.md`

Predicate

a function that returns a boolean

definition a predicate is a function with boolean function > codomain

example in Haskell, the library Data.Char is full of predicates, like isAlpha and isDigit

example in my math notation, sets are predicates, and thus a predicate is its own truth set