Tomasz Gizbert-Studnicki

Prezentacja na temat: "Tomasz Gizbert-Studnicki"— Zapis prezentacji:

1 Tomasz Gizbert-Studnicki
Logika dla prawników Tomasz Gizbert-Studnicki

2 Teoria relacji

3 Teoria relacji R(x,y) xRy R – bycie matką R – bycie większym
xRy R – bycie matką R – bycie większym R – bycie szybszym

4 Teoria relacji suma dziedziny i przwciwdziedziny – pole relacji
[czyli wszystkie mamy i dzieci razem] y – następnik relacji x – poprzednik relacji zbiór wszystkich y - przeciwdziedzina relacji zbiór wszystkich x - dziedzina relacji

5 Konwers relacji xRy x jest matką y yRx y jest dzieckiem x

6 Zbiór dystrybutywny [1, 9, 13, 8] [9, 13, 1, 8]
czyli mnogość obiektów wyróżniona ze względu na pewną wspólną cechę [1, 9, 13, 8] [9, 13, 1, 8]

7 Zbiory cd. suma, różnica i iloczyn Suma zbiorów
Suma zbiorów [1, 4, 8, 12] + [13, 3] = [1, 4, 8, 12, 13, 3] Różnica zbiorów [1, 4, 7, 9] – [4, 7] = [1, 9] Iloczyn zbiorów [1, 4, 9, 3, 2] * [9, 3, 12]= [9, 3]

8 Para uporządkowana (a,b) (b,a)

9 Iloczyn kartezjański zbiorów
[a, b, c] x [1,2,3] (a,1), (a,2), (a,3), (b,1), (b,2), (b,3), (c,1), (c,2), (c,3)

10 Kwadrat kartezjański zbioru
[a, b, c] x [a, b, c] lub [a, b, c]2 (a,a), (a,b), (a,c), (b,a), (b,b), (b.c), (c,a), (c,b), (c.c)

11 Relacja jako podzbiór kwadratu kartezjańskiego Zbiór: [9, 4, 6]
Relacja: >  (czyli „bycie większym”) Kwadrat kartezjański: [9, 4, 6] x [9, 4, 6] (9,9), (9,4), (9,6), (4,9), (4,4), (4,6), (6,9), (6,4), (6,6) (9,9), (9,4), (9,6), (4,9), (4,4), (4,6), (6,9), (6,4), (6,6)

12 jeżeli xRy, to nieprawda, że yRx
Cechy relacji symetryczność, przeciwsymetryczność, niesymetryczność Relacja R określona w zbiorze Z jest SYMETRYCZNA, gdy dla każdego x i y należących do Z: jeżeli xRy, to yRx Relacja R określona w zbiorze Z jest PRZECIWSYMETRYCZNA gdy dla każdego x i y należących do Z: jeżeli xRy, to nieprawda, że yRx Relacja R określona w zbiorze Z jest NIESYMETRYCZNA gdy nie jest ani symetryczna ani przeciwsymetryczna: istnieją takie x i y należące do Z, że xRy oraz yRx, oraz istnieją takie x i y, że xRy oraz nieprawda, że yRx

13 istnieją takie x, y i z należące do Z, że xRy i yRz oraz xRz,
Cechy relacji przechodniość, przeciwprzechodniość, nieprzechodniość Relacja R określona w zbiorze Z jest PRZECHODNIA, gdy dla każdego x, y i z należących do Z: jeżeli xRy oraz yRz, to xRz Relacja R określona w zbiorze Z jest PRZECIWPRZECHODNIA, gdy dla każdego x, y i z należących do Z: jeżeli xRy oraz yRz, to nieprawda, że xRz Relacja R określona w zbiorze Z jest NIEPRZECHODNIA, gdy nie jest ani przechodnia ani przeciwprzechodnia: istnieją takie x, y i z należące do Z, że xRy i yRz oraz xRz, oraz istnieją takie x, y i z należące do Z, że xRy i yRz oraz nieprawda, że xRz 

14 istnieją takie x że xRx i istnieją takie ź, że nieprawda, że xRx
Cechy relacji zwrotność, przeciwzwrotność, niezwrotność Relacja R określona w zbiorze Z jest ZWROTNA gdy dla każdego x należącego do Z zachodzi: xRx Relacja R określona w zbiorze Z jest PRZECIWZWROTNA gdy dla każdego x należącego do Z zachodzi: nieprawda, że xRx Relacja R określona w zbiorze Z jest NIEZWROTNA, gdy nie jest ani zwrotna ani przeciwzwrotna: istnieją takie x że xRx i istnieją takie ź, że nieprawda, że xRx

15 nie jest ani spójna ani przeciwspójna
Cechy relacji spójność, przeciwspójność, niespójność Relacja R określona w zbiorze Z jest SPÓJNA, gdy dla każdego x i y należącego do Z zachodzi: xRy lub yRx Relacja R określona w zbiorze Z jest PRZECIWSPÓJNA gdy: nie istnieje taki x i y należące do Z, że xRy lub dla każdego x należącego do Z nieprawda, że xRy lub yRx Relacja R określona w zbiorze Z jest NIESPÓJNA gdy: nie jest ani spójna ani przeciwspójna

16 nie jest ani spójna ani przeciwspójna
Cechy relacji spójność, przeciwspójność, niespójność Relacja R określona w zbiorze Z jest SPÓJNA, gdy dla każdego x i y należącego do Z zachodzi: xRy lub yRx Relacja R określona w zbiorze Z jest PRZECIWSPÓJNA gdy: nie istnieje taki x i y należące do Z, że xRy lub dla każdego x należącego do Z nieprawda, że xRy lub yRx Relacja R określona w zbiorze Z jest NIESPÓJNA gdy nie jest ani spójna ani przeciwspójna

17 Relacja mocno porządkująca zbiór Z Relacja słabo porządkująca zbiór Z
Relacje porządkujące mocno i słabo Zbiór: [8, 13, 4, 28, 3] Relacja: > (czyli „bycie większym”)  Uporządkowanie: 28, 13, 8, 4, 3 Relacja mocno porządkująca zbiór Z Relacja słabo porządkująca zbiór Z przeciwsymetryczna przechodnia spójna niespójna

18 Działania na relacjach
suma, różnica, iloczyn sumą relacji R1 i R2 jest relacja R3 zachodząca pomiędzy x a y, jeżeli pomiędzy x a y zachodzi R1 lub R2:  sumą relacji bycia bratem i bycia siostrą jest relacja bycia rodzeństwem różnica relacji: różnicą relacji R1 i R2 jest relacja R3 zachodząca pomiędzy x a y, jeżeli pomiędzy x a y zachodzi R1, natomiast R2 nie zachodzi   różnicą relacji bycia rodzeństwem i bycia bratem jest relacja bycia siostrą iloczyn relacji: iloczynem relacji R1 i R2 jest relacja R3 zachodząca pomiędzy x a y, jeżeli pomiędzy x a y zachodzi zarówno R1, jak i R2  iloczynem relacji bycia starszym i bycia bratem jest relacja bycia starszym bratem

19 Przyporządkowanie jedno-jednoznaczne
dziedzina przeciwdziedzina

20 Przyporządkowanie jedno-jednoznaczne
np. małżeństwo monogamiczne

21 Przyporządkowanie jedno-wieloznaczne
dziedzina przeciwdziedzina

22 Przyporządkowanie jedno-wieloznaczne
np. małżeństwo poligyniczne (relacja bycia mężem w takim małżeństwie)

23 Przyporządkowanie wielo-jednoznaczne
dziedzina przeciwdziedzina

24 Przyporządkowanie wielo-jednoznaczne
np. relacja bycia żoną w haremie

25 Przyporządkowanie wielo-wieloznaczne
dziedzina przeciwdziedzina

26 Przyporządkowanie wielo-wieloznaczne
np. relacja bycia znajomym [królika]

27 Koniec.