logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » 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 Śliwiński      o serwisie | kontakt   drukuj