Professional Documents
Culture Documents
Dziedzina relacji – zbiór tych pań, które są siostrami D(R) – dziedzina relacji R
D(R)= {x: y(xRy)}
Przeciwdziedzina relacji ={y: x (xRy)}
Dziedzina+Przeciwdziedzina to POLE RELACJI D(R)
x,y są małżeństwem
y=x2
xRy↔(x,y)єR
18.12.08 Logika prawnicza Prof. dr hab. Mieczysław Omyła
xRx2 (1,1) єR
(2,4) єR zbiór par które są w relacji
(3,9) єR
(4,16) єR
xRy↔x jest rodzicem y
xSy↔ x jest krewnym y
xRyxSy
R S↔ [xRyxSy]
R S