3784501289

Zdanie deontyczne w stylizacji DEDICTUM i stylizacji DRE (teksty prawne -> „może” - wiele różnych znaczeń).

Logika. Wykład 6 (piątek, 16.04.10.)

(prof. dr. hab. Tomasz Gizbert-Studnicki)

Teoria relacji

•    Relacja stosunek: prawo cywilne - stosunek prawny, prawo administracyjne: stosunek administracyjno - prawny, prawo karne: stosunek prawno - kamy.

•    Relacja - stosunek: zachodząca między dwoma, lub więcej niż dwoma czynnikami

•    Relacje dwuczłonowe: „Ewa jest siostra Pawła” - relacja

•    Zapis relacji:

xRy lub R(x,y) x - poprzednik relacji y - następnik relacji

•    Zbiory:

o [A,B,C] - pierwszy element A, drugi B o [C,B,A]

o Istotna kolejność, możemy uporządkowanie wprowadzić do większej liczby elementów (trójki uporządkowania).

Iloczyn kartezjański zbioru - zbiór wszystkich par uporządkowanych

•    Z1 x Z2

•    Zl=[a,b]

•    Z2=[ 1,2,3]

. (a,l), (a,2), (a,3), (b,l), (b,2), (b,3)

•    Tworzymy pary, że pierwszym elementem pierwszej pary jest element pierwszego zbioru, a drugim element drugiego. Zbiór wszystkich możliwych opcji, [iloczyn arytmetyczny to coś innego, bo tam 5x6 to to samo co 6x5, a (a, 1), to nie to samo co

(U)].

Kwadrat kartezjański - iloczyn tego zbioru, przez ten sam zbiór. Iloczyn zbioru Z przez zbiór Z.

ZxZ lub Z [a,b,c]

(a,a), (a,b), (a,c), (b,a), (b,b), (b,c), (c,a), (c,b), (c,c)

Sposób zdefiniowania pojęcia relacji

•    [5,9,6] > relacja bycia większym:

o (5,5), (5,9), (5,6), (9,5), (9,9), (9,6), (6,5), (6,9), (6,6) o (5,5), (5,9), (5,6), (9,5), (9,9), (ML (6,9), (6,6)

•    Relacja zawsze musi być określona w jakimś zbiorze,

•    Każdą relację można określić jako podzbiór iloczynu kartezjańskiego.

•    Dziedzina relacji - zbiór wszystkich przedmiotów poprzedników tej relacji. Dziedziną relacji bycia żoną jest zbiór wszystkich kobiet zamężnych

19