Try Our Apps


WATCH "Lumbersexual"

logical relation

logical relation in Technology

A relation R satisfying
f R g <=> For all a, b, a R b => f a R g b
This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Examples from the Web for logical relation
Historical Examples

Word of the Day

Word Value for logical

Scrabble Words With Friends

Nearby words for logical relation