Extension (predicate logic)

http://dbpedia.org/resource/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. rdf:langString
rdf:langString Extension (predicate logic)
xsd:integer 3934566
xsd:integer 1110231136
rdf:langString 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.
xsd:nonNegativeInteger 1985
dbpedia:Category:Predicate_logic
dbpedia:Relation_(mathematics)
dbpedia:Intension
dbpedia:Function_(mathematics)
dbpedia:Arity
dbpedia:Tuple
dbpedia:NLab
dbpedia:Predicate_(mathematical_logic)
dbpedia:Category:Predicate_logic
dbpedia:Indicator_function
dbpedia:Set_(mathematics)
dbpedia:Extensionality
dbpedia:Set-builder_notation
dbpedia:Extensional_logic
dbpedia:Extensional_set
dbpedia:Truth-value
<https://ncatlab.org/nlab/show/extension+%28semantics%29>
<http://rdf.freebase.com/ns/m.0b7hsh>
<http://www.wikidata.org/entity/Q5421931>
<https://global.dbpedia.org/id/4k2EH>
dbpedia:Template:Short_description
dbpedia:Template:Spaced_ndash
dbpedia:Template:Logic-stub
dbpedia:Template:Mathlogic-stub
dbpedia:Template:Merge
<http://en.wikipedia.org/wiki/Extension_(predicate_logic)?oldid=1110231136&ns=0>
<http://en.wikipedia.org/wiki/Extension_(predicate_logic)>

data from the linked data cloud