About: Boolean-valued function

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Boolean-valued function Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Disease, within Data Space : el.dbpedia.org associated with source document(s)

A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f : X → B, where X is an arbitrary set and where B is a Boolean domain, i.e. a generic two-element set, (for example B = {0, 1}), whose elements are interpreted as logical values, for example, 0 = false and 1 = true, i.e., a single bit of information.

Attributes	Values
rdf:type	disease
rdfs:label	Boolean-valued function (en)
rdfs:comment	A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f : X → B, where X is an arbitrary set and where B is a Boolean domain, i.e. a generic two-element set, (for example B = {0, 1}), whose elements are interpreted as logical values, for example, 0 = false and 1 = true, i.e., a single bit of information. (en)
sameAs	Boolean-valued function
dbp:wikiPageUsesTemplate	dbt:Cleanup_rewrite dbt:Colbegin dbt:Colend dbt:Functions
Subject	Boolean algebra
Link from a Wikipage to an external page	https://www.google.com/books/edition/Boolean_Reasoning/QPzCAgAAQBAJ%3Fhl=en&gbpv=1&kptab=overview https://www.google.com/books/edition/Switching_and_Finite_Automata_Theory/jZIxam8Rb9AC
gold:hypernym	Function
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Boolean-valued_function?oldid=1017804777&ns=0
Wikipage page ID	2757237 (xsd:integer)
page length (characters) of wiki page	2914 (xsd:nonNegativeInteger)
Wikipage revision ID	1017804777 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal language Formal science Logic optimization Proposition Propositional calculus Bit Logic gate Boolean data type Boolean domain Boolean function Semantics Semiotics Sentence (mathematical logic) Statistics Boolean algebra Set (mathematics) Seymour Papert Predicate (mathematical logic) Robert R. Korfhage Honesty Truth table Truth value Function (mathematics) Indicator function Perceptron False (logic) Information Marvin Minsky Mathematical Society of Japan Mathematical logic Mathematics dbr:Frank_Markham_Brown dbr:Zvi_Kohavi
has abstract	A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f : X → B, where X is an arbitrary set and where B is a Boolean domain, i.e. a generic two-element set, (for example B = {0, 1}), whose elements are interpreted as logical values, for example, 0 = false and 1 = true, i.e., a single bit of information. In the formal sciences, mathematics, mathematical logic, statistics, and their applied disciplines, a Boolean-valued function may also be referred to as a characteristic function, indicator function, predicate, or proposition. In all of these uses, it is understood that the various terms refer to a mathematical object and not the corresponding semiotic sign or syntactic expression. In formal semantic theories of truth, a truth predicate is a predicate on the sentences of a formal language, interpreted for logic, that formalizes the intuitive concept that is normally expressed by saying that a sentence is true. A truth predicate may have additional domains beyond the formal language domain, if that is what is required to determine a final truth value. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Boolean-valued_function
is Wikipage redirect of	Logic 0 Logic 1 Logic one Logic zero
is Link from a Wikipage to another Wikipage of	Logical conjunction Logical connective Logical disjunction Assertion (software development) Axiomatic system Backtracking Bernoulli distribution Binomial distribution Blum axioms Boolean-valued Boolean algebra (structure) Boolean algebras canonically defined Boolean domain Boolean expression Boolean function Free variables and bound variables Glossary of computer science Glossary of engineering: A–L Hot-carrier injection List of Boolean algebra topics Control bus Finitary relation First-order logic Logic 0 Logic 1 Logic one Logic zero Exclusive or
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Boolean-valued_function

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software