Reklama

RELACJA

jedno z podstawowych pojęć logiki formalnej; związek lub zależność (stosunek) między przedmiotami danego rodzaju, pojęciami, wielkościami (np. A jest matką B; 4 jest równe iloczynowi 2 x 2 i mniejsze od sumy 3 + 2); r. mogą być dwuczłonowe - oznaczane jako xRy lub R(x,y), co oznacza: x pozostaje w stosunku R do y, albo wieloczłonowe - oznaczane jako R(x1, x2, x3....xn); r. wieloczłonowe można zawsze przedstawić jako układ r. dwuczłonowych typu: R(x1, xn), rozumianych jako zbiory par uporządkowanych, w których można wyodrębnić dziedziny r., tj. zbiory takich x, dla których istnieje y spełniające warunek xRy oraz przeciwdziedziny r., tj. zbiory takich y, dla których istnieje x spełniające warunek yRx; suma dziedziny i przeciwdziedziny jest określana jako pole r.; 1912 Ph. Wiener sprowadził pojęcie r. do pojęcia zbioru.

Reklama

Powiązane hasła:

STRUKTURA, UPORZĄDKOWANIE LOGICZNE, STOSUNEK, JEDNOZNACZNOŚĆ

Podobne hasła:

Encyklopedia Internautica
Reklama
Reklama
Reklama