Extension (predicate logic)
id:
extension-predicate-logic-259-4477895
title:
Extension (predicate logic)
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
Set of tuples in mathematical logic that satisfy a predicate
original url:
https://en.wikipedia.org/wiki/Extension_(predicate_logic)
date created:
date modified:
2022-12-03T10:45:21Z
main entity:
{"identifier":"Q5421931","url":"https://www.wikidata.org/entity/Q5421931"}
image:
fields total:
13
integrity:
14