Ensemble Collections

Collections Home -> Planet Math Collection -> Boolean-valued function
TITLEBoolean-valued function
SUBJECTmsc:03B05, msc:03C55, msc:03G05, msc:06E30, msc:68P01, msc:68Q01, msc:68R01
SUBJECTmathematics
DESCRIPTIONA ... Boolean-valued function is a function of type ... , where <i>X</i> is an arbitrary set and where ... is a Boolean domain. A ... Boolean function (of finite arity <i>k</i>) is a Boolean-valued function of type ... . In some contexts a Boolean-valued function may be referred to as a ... predicate or a ... proposition . In other contexts these terms may be used to describe the syntactic entities that denote or express Boolean-valued functions, or that have Boolean-valued functions among their canonical or intended Model . When necessary to avoid confusion, terms like ... propositional expression or ... predicate formula may be used to distinguish SignRelation from their objects.
PUBLISHERPlanetMath
DATE2009-05-20
TYPEtext
FORMATtext/html
IDENTIFIERplanetmath:186
SOURCEhttp://planetmath.org/encyclopedia/BooleanValuedFunction.html
LANGUAGEen-us