logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Logika, zadanie nr 951

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

kar_o
post贸w: 52
2013-01-25 17:29:27

bardzp prosi艂abym o rozwiazanie takich zadan
albo chociaz czesc z nich, mecze sie nad nimi, a nic mi konkretnego nie wychodzi

1) w zbiorze X x Y dana jest relacja R, wyznacz wszystkie pary nalezace do tej relacji, jezeli X = {1,2,3} Y = {4,5,6} , R = {(x,y) : x|y}

2) zbadaj W艂asnosci relacji R = {(a,b) (b,b), (c,c), (d,d), (a,b), (b,a), (c,d), (d,c) }
jej dzidzine i przeciwdziedzine.

3) sprawdz czy relacja jest funkcja totalna, czy jest ona roznowartosciowa ? R \subset {1,2,3,4,5} x {a,b,c}
R= {(1,a), (2,a), (1,b) (3,c), (4,b), (5,a)}


4) zbadaj czy rozumowania sa niezawodne

a) Jezeli Jan jest dobrym programista, to lubi programowac, Jan jest dobrym programista lub pisze dobre programy. Jan nie lubi programowac. Zatem Jan pisze dobre programy.

b)
jezeli jade w g贸ry, to jestem szczesliwy. Jezeli nie jestem szczesliwy, to jade nad jezioro. Dlatego jesli jade w g贸ry to nie jade nad jezioro.


tumor
post贸w: 8070
2013-01-26 08:29:26

1)
$R=\{(1,4),(1,5),(1,6),(2,4),(2,6),(3,6)\}$


tumor
post贸w: 8070
2013-01-26 08:34:08

2)
CHYBA jest zwrotna. Wprawdzie pierwsza para to (a,b), ale zgaduj臋, 偶e mia艂o by膰 (a,a). Je艣li nie, to zwrotna nie jest.

Jest symetryczna, bo je艣li $(x,y)\in R$ to $(y,x) \in R $

Jest przechodnia, sprawdzamy wszystkie mo偶liwo艣ci xRy i yRz, rzeczywi艣cie wtedy xRz.

(z powy偶szych dostajemy, 偶e jest relacj膮 r贸wnowa偶no艣ci)

Nie jest antysymetryczna ani asymetryczna, bo aRb i bRa.

Nie jest sp贸jna, bo elementy a,c nie s膮 por贸wnywalne.

Dziedzin膮 i przeciwdziedzin膮 jest zbi贸r $X=\{a,b,c,d\}$


tumor
post贸w: 8070
2013-01-26 08:41:17

3) Napisz, jak definiujesz funkcj臋 totaln膮.


4)
a) niezawodne
b) zawodne, do bani i do kitu.

Jak膮 metod膮 bada膰? Jak dowodzi膰?



strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj