slovodefinícia
logical relation
(encz)		logical relation, n:
logical relation
(wn)		logical relation
n 1: a relation between propositions
logical relation
(foldoc)		logical relation

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.
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4