Extension (predicate logic)
Set of tuples in mathematical logic that satisfy a predicate / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Extension (predicate logic)?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.