You are on page 1of 3

Relacje

Relacje – dowolny związek między przedmiotami.

x jest krewnym y  y jest krewnym x.


x jest rodzicem y. funkcje zdaniowe dwu argumentowe wskazujące na relacje np.
z jest bratem y. międzyludzkie.

x jest siostrą y. xRy

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)

• Relacja (jedna strona jest równa drugiej) R jest symetryczna gdy:


ΛxΛy[xRyyRx]
x jest rówieśnikiem y
x║yy║x
x yy x
• Relacje niesymetryczne
x kocha y.
x lubi y.
x szanuje y.

Relacja R jest asymetryczna wtedy gdy

x jest rodzicem y ~y jest rodzicem x.


x<y~(y<x)
3<5~(5<3)

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
xRyxSy
R S↔ [xRyxSy]

xRy↔x jest rodzicem y


xSy↔ s jest rówieśnikiem y
R S↔~ [xRy xSy]

R S

xRy↔x jest przyjacielem y


xSy↔x jest krewnym y
R S ↔ [xRy xSy]

Suma dwóch relacji


x jest rodzicem y ↔ x jest matką y v x jest ojcem y.
xRy xSy
x jest rodzicem y ↔ (xRy v xSy)
x(R S)y↔(xRy v xSy)

Iloczyn dwóch relacji


xRy↔x jest starszy od y
xSy↔x jest przełożonym y
x(R S)y↔(xRy xSy)

x jest rodzicem y ↔y jest dzieckiem x


xRy↔y x

konwers relacji R

x jest żoną y ↔ y jest mężem x


xRy yRx

Relacja która powstaje na splocie dwóch relacji


xRy↔ x jest matką y
ySz↔ y jest mężem z
x(RoS)z↔z jest teściową z
x (RoS)z – nazywamy iloczynem względnym relacji R i S (złożeniem relacji R i S) i
określamy
x(RoS)z↔Vy(xRy ySz)
xRy↔x jest żoną y
ySz↔y jest synem z
xRoSz↔x jest synową z

xRy↔ x jest siostrą y


ySz↔ y jest rodzicem z
xRoSz↔ z jest ciocią z

xRy↔x jest żoną y


xSz↔ y jest bratem z
x(RoS)z↔z jest bratową z

xRy↔ x jest przodkiem y


yRz↔ y jest przodkiem z
xRoRz↔xR2z↔ x jest praprzodkiem z

You might also like