Try Our Apps


What is the origin of "December"?

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