Lista 0 - Okolice rachunku zdań
|
|
- Jadwiga Szydłowska
- 5 lat temu
- Przeglądów:
Transkrypt
1 Lista 0 - Okolice rachunku zdań 1. W używanym obecnie kalendarzu gregoriańskim rok jest przestępny, gdy dzieli się przez 4, lecz nie dzieli się przez 100, chyba, że dzieli się przez 400. Niech p oznacza rok R jest podzielny przez 4, q rok R podzielny przez 100, r rok R jest podzielny przez 400. Zapisz za pomocą p, q, r zdanie: a) Rok R jest przestępny w kalendarzu gregoriańskim. b) Rok R jest przestępny w kalendarzu juliańskim. 2. Każda karta z jednej strony jest czerwona albo niebieska, z drugiej zaś ma narysowane kółko albo trójkąt. Na stole widzimy cztery takie karty, widoczna strona jest w nich kolejno czerwona, niebieska, trójkątem i kółkiem. Jacek twierdzi, że karty niebieskie mają na odwrocie kółko. Które karty Placek musi odwrócić, aby sprawdzić, czy Jacek mówi prawdę? 3. Zbadaj, które z poniższych formuł są tautologiami. Zanim przystąpisz do formalnych rachunków, spróbuj odgadnąć wynik. a) (p p) p b) p ( p q) c) (p q) [( p) ( q)] d) (p q) (p q) e) (p q) [ p) ( q)] f) (p q) [( p) ( q)] g) [(p (q r)] [(p q) (p r)] h) [(p q) r] [p (q r)] i) [p (q r)] [(p q) (p r)] j) [p (q r)] [( (p q) (p r)] k) [p (q r)] [( q r) p] l) [(p q) r)] [( p (q r)]. 4. Przyjmijmy, że gdy Jacek chrapie, to Agata śni. Które z poniższych zdań są prawdziwe przy tym założeniu? a) Gdy Agatka nie śni, to Jacek nie chrapie. b) Gdy Jacek nie chrapie, to Agatka nie śni. c) Gdy Agatka śni, to Jacek chrapie. d) Jacek nie chrapie lub Agatka śni. e) Nie jest możliwe, aby Jacek chrapał, a Agatka nie śniła. 5. W czasie kampanii wyborczej panowie Alfa, Beta i Gamma złożyli oświadczenia: Alfa: Beta zawsze kłamie. Beta: Gamma zawsze kłamie. Gamma: Alfa zawsze kłamie. Uzasadnij, że przynajmniej dwa z tych oświadczeń są fałszywe. 6. W czasie kampanii wyborczej panowie Alfa, Beta, Gamma i Delta złożyli następujące oświadczenia: Alfa: Beta zawsze kłamie. Beta: Gamma przynajmniej czasem mówi prawdę. Gamma: Delta przynajmniej czasem kłamie. Delta: Alfa zawsze mówi prawdę. Wykaż, że dokładnie dwa z tych zdań są prawdziwe.
2 Lista 1 - Rachunek zdań i reguły wnioskowania 1. Zapisz za pomocą alternatywy, koniunkcji i negacji spójnik albo (alternatywę wykluczającą). 2. Zapisz formułę korzystając wyłącznie ze wskazanych spójników: a) p q za pomocą koniunkcji i negacji b) p q za pomocą alternatywy i negacji c) p q za pomocą implikacji i negacji d) p q za pomocą implikacji i negacji 3. Wyraź: a) alternatywę, implikację oraz równoważność za pomocą negacji oraz koniunkcji b) koniunkcję, implikację oraz równoważność za pomocą negacji oraz alternatywy. 4. Zapisz formułę: p 1 (p 2 (p 3... (p n q))...) używając znak implikacji: a) tylko raz b) ani razu. 5. Przyjmijmy oznaczenia: N p negacja p, Cpq implikacja, Apq alternatywa, Kpq koniunkcja, Epq równoważność. System ten (tzw. notacja polska) pozwala zapisywać formuły rachunku zdań bez użycia nawiasów. Zapisz w zwykłej notacji: a) KCpNqp b) CCpCNpqq. 6. Zapisz w notacji polskiej: a) zasady wyłączonego środka i sprzeczności b) prawa de Morgana c) Zapisz w notacji polskiej (p (q (r ( s)))). 7. Zbadaj, czy poniższe schematy wnioskowania są poprawne: a) d) ( p) q, p q b) p q, ( p) q q e) (p q) r, q p r c) (p q) r, q : p r f) p (q r), r p q p q,p ( q). p 8. Zbadaj poprawność każdego z poniższych wnioskowań. Jeżeli jest poprawne, daj pełne wyprowadzenie ze wskazaniem stosowanych reguł wnioskowania. Jeżeli jest niepoprawne, wyjaśnij dlaczego. a) Jeśli płyta jest głośna lub monotonna, to nie jest długa. Płyta jest monotonna. Wniosek: Płyta nie jest długa. b) Jeśli Rybin jest nudny, to trudno go znaleźć. Jeżeli Rybin nie jest mały, to nietrudno go znaleźć. Rybin jest nudny. Wniosek: Rybin jest mały. c) Nieprawda, ze Franek gra zarówno na gitarze jak i na flecie. Jeżeli Franek nie gra na gitarze lun nie gra na flecie, to gra na organach i na harfie. Jeżeli gra na harfie, to gra na organach. Wniosek: Franek gra na organach. d) Jeżeli napadniesz na bank, trafisz do więzienia. Jeśli trafisz do więzienia, nie spędzisz czasu miło. Jeśli wyjedziesz na wakacje, to spędzisz czas miło. Napadasz na bank lub jedziesz na wakacje. Wniosek: Trafisz do więzienia lub spędzisz miło czas.
3 9. Zbadaj, czy podany zestaw informacji jest sprzeczny: Jeśli wieczór nudny, to Ala płacze lub Anatol opowiada śmieszne historie. Jeżeli wieczorem zjawia się Fryderyk, to wieczór jest nudny lub Ala płacze. Jeżeli Anatol opowiada śmieszne historie, to Ala nie płacze. Fryderyk zjawia się wieczorem wtedy i tylko wtedy, gdy Anatol nie opowiada śmiesznych historii. Jeśli Ala płacze, to Anatol opowiada śmieszne historie. 10. Zbuduj układ logiczny, który oblicza funkcję logiczną f określoną wzorem: a) f(x,y,z) = 1 tylko wówczas, gdy y = z b) f(x,y,z) = 1 tylko wtedy, gdy parzysta liczba argumentów przyjmuje wartość Spójnik Pierce a (operator NOR) jest zdefiniowany wzorem (p q) (( p) ( q)). Kreska Sheffera, (operator NAND) jest zdefiniowana wzorem p q (( p) (( q)). Wyraź: a) negację, koniunkcję, alternatywę oraz implikację za pomocą spójnika Pierce a. d) negację, koniunkcję, alternatywę oraz implikację za pomocą kreski Sheffera. 12. Zapisz spójnik Pierce a za pomocą kreski Sheffera i na odwrót. 13. Wykaż, że jedynymi spójnikami dwuargumentowymi o tej własności, że za pomocą jednego spójnika można wyrazić wszystkie pozostałe sa spójnik Pierce a i kreska Sheffera. 14. Ile jest formuł, których zapis w notacji polskiej składa sie ze 100 symboli, przy czym symbol jest operatorem zmienną p albo: a) operatorem N b) operatorem C?
4 Lista 2 - Kwantyfikatory 1. Niech d(x,y) oznacza x jest dzieckiem y, m(x) x jest mężczyzną. Zapisz formuły: a) x jest bratem y b) x jest dziadkiem y c) x jest stryjkiem y d) x oraz y są przyrodnim rodzeństwem. 2. Przyjmijmy, że w języki arytmetyki liczb naturalnych mamy stałe 0, 1, 2,... oraz symbole + i. Zapisz w tym języku: a) n jest liczbą parzystą b) m > n c) n jest liczbą złożoną d) n jest liczba pierwszą. 3. Niech p(n) będzie skrótem formuły n jest liczbą pierwszą. Korzystając z tego symbolu i pozostałych symboli arytmetyki liczb naturalnych zapisz: a) każda liczba parzysta większa od 2 jest sumą dwu liczb pierwszych (hipoteza Goldbacha) b) kwadrat liczby pierwszej nie jest liczba pierwszą c) istnieje nieskończenie wiele liczb pierwszych. 4. Kwantyfikatory ograniczone określamy następująco: x A P(x) x(x A P(x)), x A P(x) x(x A P(x)). Sformułuj i udowodnij prawa de Morgana dla kwantyfikatorów ograniczonych. 5. Wskazując odpowiedni kontrprzykład wykaż, że nie zachodzi wynikanie: a) x(a(x) B(x)) ( xa(x) xb(x)) b) ( xa(x) xb(x)) x(a(x) B(x)) c) x yr(x, y) y xr(x, y) d) [ xa(x) xb(x))] [ x(a(x) B(x))]. 6. Zapisz za pomocą tylko jednego kwantyfikatora: a) xp(x) xq(x) b) xp(x) yq(y) c) xp(x) xq(x). 7. Wykaż, wskazując odpowiedni kontrprzykład, że reguła wnioskowania x(p(x) Q(x)), xm(x) x(p(x) M(x)) jest błędna. Uzupełnij komentarze przy przejściach poprawnych i wskaż błąd (błędy) w poniższym dowodzie poprawności tej reguły: 1. x(p(x) Q(x)) 2. xm(x) 3. P(a) Q(a) 4. P(a) 5. M(a) 6. P(a) M(a) 7. x(p(x) M(x).
5 8. Wyprowadź poniższe reguły wnioskowania: a) x(p(x) Q(x)), x(p(x) M(x)) x(q(x) M(x) b) c) x((a(x) (R(x)) T(x)), x(t(x) P(x)), x(a(x) P(x)) xr(x) x(r(x) C(x)), x(t(x) R(x)). x( C(x) T(x)) 9. Wiadomo, że: a) jeżeli wielkie twierdzenie Fermata jest fałszywe, to krzywa Freya nie jest modularna b) krzywa Freya jest krzywą eliptyczną c) każda krzywa eliptyczna jest modularna. Wywnioskuj z tych przesłanek, że wielkie twierdzenie Fermata jest prawdziwe. Wskaż wykorzystywane reguły wnioskowania. Zauważ, że nie musisz rozumieć żadnego z terminów! Ale co głosi wielkie twierdzenie Fermata wypada wiedzieć. 10. Określmy dwa rodzaje kwantyfikatorów dla liczb naturalnych: n ϕ(n) ( k n k(ϕ(n)), n ϕ(n) ( k n k(ϕ(n)). a) Sformułuj i udowodnij prawa de Morgana dla tych kwantyfikatorów. b) Wykaż, że zachodzi implikacja n ϕ(n) n ϕ(n). c) Zdefiniuj za pomocą tych kwantyfikatorów pojęcia granicy ciągu i punktu skupienia. d) Daj krótki dowód tego, że granica ciągu jest jego punktem skupienia. 11. Przyjmijmy, że zakresem zmienności wszystkich zmiennych są liczby naturalne. Niech k l oznacza k dzieli l. Wykaż, że za pomocą 0, 1, + oraz można zdefiniować predykat z = xy. Wsk.: Zdefiniuj najpierw predykat y(x = y 2 ). Przydadzą się tożsamości: (x + y) 2 = x 2 + xy + xy + y 2 NWD(x,x + 1) = 1 oraz x 2 + x = NWW(x,x + 1), gdzie NWD oznacza największy wspólny dzielnik, NWW najmniejszą wspólną wielokrotność.
6 Lista 3 - Rachunek zbiorów 1. Czy dla dowolnych zbiorów A,B i C prawdziwe są następujące równości: a) A (B C) = (A B) (A C) b) (A\B)\C = A\(B \C) c) (A\B) C = (A C)\(B C) d) (A\B) C = (A C)\(B C) e) (A B) C = (A C) (B C) f) (A B) C = (A C) (B C) g) (A B) C = (A C) (B C) h) (A B) C = (A C) (B C)? Uzasadniając odpowiedź pozytywną wskazuj, przy których przejściach korzystasz z definicji, a przy których z praw rachunku zdań (jakich?). 2. Czy dla dowolnych zbiorów A,B,C i D prawdziwe są następujące zdania: a) (A B) (B C) A C b) (A B) (A\C B \C) c) (A C) (B C) A B C d) (A B) (A C) A B C e) (A B) (C D) A C B D f) (A B) (C D) A C B D? 3. Jaki związek (zawieranie, równość itp.) zachodzi pomiędzy: a) P(A B) i P(A) P(B) b) P(A B) i P(A) P(B) c) P(A B) i P(A) P(B)? 4. Za pomocą symbolu oraz symboli logicznych (w tym równości) zapisz: a) A = B C b) zbiory A, B są niepuste i rozłączne c) A jest zbiorem jednoelementowym. 5. Dla zbioru A = {,{,{ }}} wypisz wszystkie elementy: zbioru: a) A b) P(A) c) A. 6. Znajdź sumę n=0 oraz iloczyn n=0 dla poniższych rodzin zbiorów: a) A n = [n, ) b) B n = (0,1/n) c) C n = [0,1 1/n] d) A n = ( n,1/(n+2)). 7. Znajdź sumę t T oraz iloczyn t T dla poniższych rodzin zbiorów: a) A t = (,t], T = R + b) B t = R\{t}, T = Q c) C t = [t,1] [0,t], T = (0,1). 8. Które z poniższych ciągów są elementami n=0 A n, gdzie A n = (n, ): a) a n = 1 b) b n = n+1 c) c n = 2n d) d n = n 2 +1 e) e n = n+1+sinn? 9. Które z poniższych funkcji są elementami t R A t, gdzie A t = [0, 1+ t ]: a) a(t) = 1 b) b(t) = t c) c(t) = sint d) d(t) = t 2 e) e(t) = t 1? 10. Wykaż, że A B = B A wtedy i tylko wtedy, gdy A = B lub A = lub B =. 11. Czy istnieją zbiory A, B, C takie, że A B C oraz A B C?
7 1. Wypisz wszystkie elementy relacji: a) podzielności na zbiorze {1,2,3,4,5} b) relacji x < y < z na {1,2,3,4,5}. Lista 4 - Relacje 2. Ile jest relacji: a) zwrotnych na zbiorze {1,2,...,n} b) symetrycznych na zbiorze {1,2,...,n} c) słabo antysymetrycznych na zbiorze {1,2,...,n}? 3. Rozważmy trzy własności relacji: zwrotność, symetryczność i przechodniość. Podaj przykłady relacji: a) zwrotnej, symetrycznej, ale nieprzechodniej b) zwrotnej, przechodniej, ale niesymetrycznej c) tylko zwrotnej d) tylko symetrycznej e) tylko przechodniej. 4. Poniższe rozumowanie dowodzi, że każda relacja symetryczna i przechodnia jest zwrotna. Weźmy dowolne a. Niech b dowolne a takie, że arb. Z symetrii wynika, że bra, a skoro arb i bra, to z przechodniości wynika, ze ara. Gdzie tkwi błąd? Podaj przykład relacji symetrycznej, przechodniej, ale niezwrotnej. 5. Wykaż, że (N\{0}, ) jest częściowym porządkiem. Znajdź w nim element najmniejszy. Znajdź elementy minimalne w częściowym porządku (N\{0,1}, ). 6. Rozważamy częściowy porządek ({2,...,30}, ), gdzie oznacza relację podzielności. Ile jest elementów minimalnych oraz ile jest elementów maksymalnych w tym częściowym porządku? 7. Narysuj diagram Hassego minimalnego porządku, przy którym 1 2, 2 3, 5 4, 4 2, 6 7, 7 3, 7 8, 8 9, 3 0, 9 0. a) Rozważmy rodzinę niepustych łańcuchów w tym porządku. Ile ma elementów minimalnych, a ile maksymalnych? b) Analogicznie dla rodziny niepustych antyłańcuchów. 8. Na zbiorze R 2 rozważamy relację zadaną formułą ((x,y) (x y )) (x x ) (y y ). Wykaż, że relacja ta jest częściowym porządkiem. NiechK = {(x,y) R 2 : x 2 +y 2 1}. Wyznacz elementy minimalne zbioru K. Dla ustalonego punktu (a,b) R 2 wyznacz zbiory {(x,y) R 2 : (a,b) (x,y)}, {(x,y) R 2 : (x,y) (a,b)} oraz {(x,y) R 2 : ((a,b) (x,y)) ((x,y) (a,b))}. 9. Wykaż, że następujące relacje są relacjami równoważności na zbiorze X i wyznacz ich klasy abstrakcji oraz przestrzenie ilorazowe X/ : a) X = N 2 (x,y) (a,b) x+y = a+b, b) X = N 2 (x,y) (a,b) max{x,y} = max{a,b}, c) X = R x y ( t 0)(tx = y), d) X = R x y ( t > 0)(tx = y), e) X = R 2 x y ( t 0)(tx = y), f) X = R 2 x y ( t > 0)(tx = y). 10. Czy jest relacją równoważności na zbiorze liczb całkowitych: a) liczby x, y są w relacji, gdy ich różnica dzieli się przez 2 lub 3 b) liczby x, y są w relacji, gdy ich różnica dzieli się przez 2 lub 4?
8 11. Dla (x 1,x 2 ),(y 1,y 2 ) [0,1] 2 określamy relację (x 1,x 2 ) (y 1,y 2 ) u(x 1 ) = u(y 1 ) u(x 2 ) = u(y 2 ), gdzie u(x) = x x. Wykaż, że jest relacją równoważności. Wyznacz jej klasy abstrakcji. 12. Ile jest: a) relacji równoważności na zbiorze {1,2,3} b) podziałów zbioru {1,2,3,4} c) relacji równoważności na zbiorze czteroelementowym? 13. Na rodzinie P(N) określamy relację A B, jeżeli ich różnica symetryczna jest skończona. a) Uzasadnij, że jest to relacja równoważnosci b) Opisz klasę abstrakcji zbioru pustego. c) Uzasadnij, że relacja ta wyznacza nieskończenie wiele klas abstrakcji. 14. Na okręgu o promieniu 1 określamy relację: punkt A jest w relacji z punktem B, jeżeli A = B lub ich odległość wynosi d. a) Dla jakich d relacja ta jest relacją równoważności? b) Jak wyglądają wówczas klasy abstrakcji? c) Rozwiąż analogiczne zadanie dla sfery. 15. Na zbiorze N N określamy relację (a,b) (c,d) (a + d = b + c). Wykaż, że jest to relacja równoważności. Pokaż, że jej klasy abstrakcji można w naturalny sposób ponumerować liczbami całkowitymi, tzn. istnieje (naturalna) bijekcja ze zbioru Z na zbiór tych klas abstrakcji. 16. Na zbiorze Z N + określamy relację (a,b) (c,d) (ad = bc). Wykaż, że jest to relacja równoważności. Jej klasy abstrakcji można w naturalny sposób ponumerować pewnymi liczbami. Jakimi? 17. Zdefiniuj złożenie relacji analogicznie do składania funkcji. Niech R = {(x,y) R 2 : x = y } oraz Q = {(x,y) R 2 : y = sin(x)}. Narysuj wykres relacji R Q oraz Q R. 18. Wykaż twierdzenie Spernera: Każdy antyłańcuch w rodzinie podzbiorów zbioru n- elementowego ma co najwyżej ( n n/2 ) elementów.
9 Lista 5 - Funkcje, równoliczność i liczby kardynalne 1. Dla funkcji f : R R znajdź f(a), f 1 (f(a)), f 1 (C), f(f 1 (C)): a) f(x) = e x, A = (0, ), C = [0,1] ZMIENIC! b) f(x) = sinx, A = [0,π/2], C = {1} c) f(x) = lnx, A = (0,1], C = [0,1] d) f(x) = x +1, A = [ 1,2], C = R. 2. Niech f : R 2 R 2 będzie funkcją zadaną wzorem f((x,y)) = (x+y,x y). a) Czy odwzorowanie f jest injekcją? b) Czy f jest surjekcją? c) Znajdźf(R {0}), f(l) orazf 1 (L), gdzieljest prostą zadaną równaniemy = x Dla funkcji f(x) = x 2 oraz A = [ 2,0], B = [0,2] wyznacz: a) f(a B), f(a) f(b) b) f(a B), f(a) f(b) c) f(a\b), f(a)\f(b). 4. Niech f : X Y, A,B X, C Y. Wykaż, że a) f(a B) f(a) f(b) b) f(a)\f(b) f(a\b) c) A f 1 (f(a)) d) f(f 1 (C)) C. 5. Wykaż, że przy dodatkowym założeniu (typu f jest różnowartościowa lub f jest na ) każdą z inkluzji w poprzednim zadaniu można zastąpić równością. 6. Niech f : X Y, g : Y X. Wykaż, że: a) jeżeli g f = id X, to f jest injekcją b) jeżeli f g = id Y, to f jest surjekcją. 7. Znajdź bijekcję pomiędzy następującymi parami zbiorów: a) (0,1) i (2,5) b) (a,b) i (c,d) c) (0, ) i R d) ( π/2,π/2) i R e) (0,2) i R f) (1, i R g) (1, ) i (2, ) h) [0,1] i [0,1). 8. Punktem kratowym płaszczyzny nazywamy punkt o obu współrzędnych całkowitych. Pokaż, jak ustawić w ciąg wszystkie punkty kratowe płaszczyzny. 9. Czy jest zbiorem przeliczalnym zbiór: a) funkcji liniowych o współczynnikach całkowitych b) funkcji stałych f : R R c) zbiór okręgów o środku w punkcie kratowym i promieniu całkowitym d) zbiór okręgów zawierających przynajmniej dwa punkty kratowe e) zbiór okręgów zawierających przynajmniej trzy punkty kratowe? 10. Wykaż, że zbiór funkcji f : N {0,1} stałych od pewnego miejsca jest zbiorem przeliczalnym. 11. Jaka jest moc zbioru punktów płaszczyzny: a) o obu współrzędnych wymiernych b) takich, że przynajmniej jedna współrzędna jest wymierna?
10 12. Znajdź moc zbioru: a) funkcji f : R N b) funkcji f : R R c) funkcji f : N R d) relacji trójargumentowych na R. Wynik podaj w formie ℵ 0, c lub 2 do odpowiedniej potęgi. 13. Jaka jest moc zbioru wszystkich ciągów zbieżnych do zera o wyrazach: a) rzeczywistych b) całkowitych? 14. Znajdź moc zbioru wszystkich bijekcji zbioru: a) N b) R. 15. Jaka może być moc zbioru A\B jeśli A i B są zbiorami mocy: a) ℵ 0 b) c? 16. Ile można narysować na płaszczyźnie parami rozłącznych liter: a) L b)* T? 17. Niech A będzie zbiorem powstałym z płaszczyzny przez usunięcie przeliczalnie wielu punktów. Wykaż, że każde dwa punkty tego zbioru można połączyć: a) łamaną w nim zawartą b) łukiem okręgu w nim zawartym. 18. Wykaż, że dowolna rodzina parami rozłącznych otwartych przedziałów liczb rzeczywistych jest przeliczalna.
Lista 1 - Rachunek zdań i reguły wnioskowania
Lista 1 - Rachunek zdań i reguły wnioskowania 1. Każda karta z jednej strony jest czerwona albo niebieska, z drugiej zaś ma narysowane kółko albo trójkąt. Na stole widzimy cztery takie karty, widoczna
Bardziej szczegółowoLista 1 - Rachunek zdań i reguły wnioskowania
Lista 1 - Rachunek zdań i reguły wnioskowania 1. Każda karta z jednej strony jest czerwona albo niebieska, z drugiej zaś ma narysowane kółko albo trójkąt. Na stole widzimy cztery takie karty, widoczna
Bardziej szczegółowoLista 1 - Rachunek zdań i reguły wnioskowania
Lista 1 - Rachunek zdań i reguły wnioskowania 1. W używanym obecnie kalendarzu gregoriańskim rok jest przestępny, gdy dzieli się przez 4, lecz nie dzieli się przez 100, chyba, że dzieli się przez 400.
Bardziej szczegółowoPytania i polecenia podstawowe
Pytania i polecenia podstawowe Liczby zespolone a) 2 i 1 + 2i 1 + 2i 3 + 4i, c) 1 i 2 + i a) 4 + 3i (2 i) 2, c) 1 3i a) i 111 (1 + i) 100, c) ( 3 i) 100 Czy dla dowolnych liczb z 1, z 2 C zachodzi równość:
Bardziej szczegółowo1 Logika (3h) 1.1 Funkcje logiczne. 1.2 Kwantyfikatory. 1. Udowodnij prawa logiczne: 5. (p q) (p q) 6. ((p q) r) (p (q r)) 3.
Logika (3h). Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( p q) 3. (p q) ( q p) 4. (p q) ( p q) 5. (p q) (p q) 6. ((p q) r) (p (q r)) 7. (p q) r (p r) (q r) 8. (p q) (q r) (p r). Sprawdź, czy wyrażenia:.
Bardziej szczegółowoW pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się
1 Logika Zdanie w sensie logicznym, to zdanie oznajmujące, o którym da się jednoznacznie powiedzieć, czy jest fałszywe, czy prawdziwe. Zmienna zdaniowa- to symbol, którym zastępujemy dowolne zdanie. Zdania
Bardziej szczegółowoIMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I
IMIĘ NAZWISKO............................ grupa C... sala 10... Egzamin ELiTM I 02.02.15 1. 2. 3. 4.. 1. (8 pkt.) Niech X a,b = {(x, y) R 2 : (x b) 2 + (y 1 b )2 a 2 } dla a, b R, a > 0, b 0. Wyznaczyć:
Bardziej szczegółowo1 Rachunek zdań, podstawowe funk tory logiczne
1 Rachunek zdań, podstawowe funk tory logiczne 1.1 Zapisz symbolicznie następujące stwierdzenia i Jeśli z tego, że Paweł gra w palanta wynika to, że Robert jeździ na rowerze, to z tego, że Robert nie gra
Bardziej szczegółowo1 Rachunek zdań, podstawowe funktory logiczne
1 Rachunek zdań, podstawowe funktory logiczne 1.1 Pokaż, że dla dowolnych zmiennych zdaniowych p, q, r poniższe formuły są tautologiami a p p p b q q q c p p p p d p q r p q p r e p q r p q p r f p q p
Bardziej szczegółowoLista zadań - Relacje
MATEMATYKA DYSKRETNA Lista zadań - Relacje Zadania obliczeniowe Zad. 1. Która z poniższych relacji jest funkcją? a) Relacja składająca się ze wszystkich par uporządkowanych, których poprzednikami są studenci,
Bardziej szczegółowoPrzykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
Bardziej szczegółowoWstęp do matematyki listy zadań
Projekt pn. Wzmocnienie potencjału dydaktycznego UMK w Toruniu w dziedzinach matematyczno-przyrodniczych realizowany w ramach Poddziałania 4.1.1 Programu Operacyjnego Kapitał Ludzki Wstęp do matematyki
Bardziej szczegółowoIndukcja matematyczna
Indukcja matematyczna Zadanie. Zapisać, używając symboli i, następujące wyrażenia (a) n!; (b) sin() + sin() sin() +... + sin() sin()... sin(n); (c) ( + )( + /)( + / + /)... ( + / + / +... + /R). Zadanie.
Bardziej szczegółowoEgzamin z logiki i teorii mnogości, rozwiązania zadań
Egzamin z logiki i teorii mnogości, 08.02.2016 - rozwiązania zadań 1. Niech φ oraz ψ będą formami zdaniowymi. Czy formuła [( x : φ(x)) ( x : ψ(x))] [ x : (φ(x) ψ(x))] jest prawem rachunku kwantyfikatorów?
Bardziej szczegółowoZbiory, relacje i funkcje
Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację
Bardziej szczegółowoELiTM 0 Indukcja Dany jest ciąg a 0 R, a n = a n 1. Zasada minimum Każdy niepusty podzbiór liczb naturalnych zawiera liczbę najmniejszą.
ELiTM 0 Indukcja Zasada minimum Każdy niepusty podzbiór liczb naturalnych zawiera liczbę najmniejszą. Zasada indukcji Jeżeli (1) istnieje n 0 N takie że T (n 0 ) jest prawdziwe; (2) z faktu, że T (n) jest
Bardziej szczegółowoLOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Bardziej szczegółowoLogika i teoria mnogości Ćwiczenia
Logika i teoria mnogości Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Algebra zbiorów 3 3 Różnica symetryczna 4 4 Iloczyn kartezjański. Kwantyfikatory. 5 5 Kwantyfikatory. 6 6 Relacje 7 7 Relacje
Bardziej szczegółowoRelacje. 1 Iloczyn kartezjański. 2 Własności relacji
Relacje 1 Iloczyn kartezjański W poniższych zadaniach litery a, b, c, d oznaczają elementy zbiorów, a litery A, B, C, D oznaczają zbiory. Przypomnijmy definicję pary uporządkowanej (w sensie Kuratowskiego):
Bardziej szczegółowo1 Logika. 1. Udowodnij prawa logiczne: 3. (p q) (p q) 2. (p q) ( q p) 2. Sprawdź, czy wyrażenie ((p q) r) (p (q r)) jest tautologią.
Logika. Udowodnij prawa logiczne:. (p q) ( p q). (p q) ( q p) 3. (p q) (p q). Sprawdź czy wyrażenie ((p q) r) (p (q r)) jest tautologią. 3. Zad 3. Sprawdź czy zdanie: Jeżeli liczba a dzieli się przez i
Bardziej szczegółowoWstęp do Logiki i Struktur Formalnych Lista zadań
Wstęp do Logiki i Struktur Formalnych Lista zadań Jacek Cichoń Politechnika Wrocławska, WPPT Wrocław 2018 G1: Rachunek Zdań Które z następujących zdania są tautologiami: 1. (p (q r)) ((p q) (p r) 2. ((p
Bardziej szczegółowoElementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
Bardziej szczegółowo1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
Bardziej szczegółowo1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =.
1 Zbiory 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =. 1.3 Pokazać, że jeśli A, B oraz (A B) (B A) = C C, to A = B = C. 1.4 Niech {X t } będzie rodziną niepustych
Bardziej szczegółowoElementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Bardziej szczegółowoElementy logiki. Zdania proste i złożone
Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie
Bardziej szczegółowo0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Bardziej szczegółowoZbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.
Zbiory Pojęcie zbioru jest w matematyce pojęciem pierwotnym, którego nie definiujemy. Gdy a jest elementem należacym do zbioru A to piszemy a A. Stosujemy również oznaczenie a / A jeżeli (a A). Będziemy
Bardziej szczegółowo1. Funkcje monotoniczne, wahanie funkcji.
1. Funkcje monotoniczne, wahanie funkcji. Zbiór X będziemy nazywali uporządkowanym, jeśli określona jest relacja zawarta w produkcie kartezjańskim X X, która jest spójna, antysymetryczna i przechodnia.
Bardziej szczegółowo1 Działania na zbiorach
M. Beśka, Wstęp do teorii miary, rozdz. 1 1 1 Działania na zbiorach W rozdziale tym przypomnimy podstawowe działania na zbiorach koncentrując się na własnościach tych działań, które będą przydatne w dalszej
Bardziej szczegółowo1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
Bardziej szczegółowoFunkcja kwadratowa. f(x) = ax 2 + bx + c = a
Funkcja kwadratowa. Funkcją kwadratową nazywamy funkcję f : R R określoną wzorem gdzie a, b, c R, a 0. f(x) = ax + bx + c, Szczególnym przypadkiem funkcji kwadratowej jest funkcja f(x) = ax, a R \ {0}.
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, 2017 Zadania 1
Matematyka dyskretna Andrzej Łachwa, UJ, 2017 andrzej.lachwa@uj.edu.pl Zadania 1 Udowodnij, że A (B C) = (A B) (A C) za pomocą diagramów Venna. Udowodnij formalnie, że (A B i A C) A B C oraz że (A B C)'
Bardziej szczegółowoMetalogika (1) Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM
Metalogika (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Uniwersytet Opolski Jerzy Pogonowski (MEG) Metalogika (1) Uniwersytet Opolski 1 / 21 Wstęp Cel: wprowadzenie
Bardziej szczegółowoWstępdoLogikiiTeoriiMnogości 1 Instytut Matematyki i Informatyki 2010/2011
dr Przemysław Szczepaniak ZDANIA WstępdoLogikiiTeoriiMnogości 1 Instytut Matematyki i Informatyki 2010/2011 1. Udowodnij prawa rachunku zdań poznane na wykładzie. 2. Sprawdź, które z poniższych zdań są
Bardziej szczegółowoRelacje. opracował Maciej Grzesiak. 17 października 2011
Relacje opracował Maciej Grzesiak 17 października 2011 1 Podstawowe definicje Niech dany będzie zbiór X. X n oznacza n-tą potęgę kartezjańską zbioru X, tzn zbiór X X X = {(x 1, x 2,..., x n ) : x k X dla
Bardziej szczegółowoJest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.
Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"
Bardziej szczegółowoSprawy organizacyjne. dr Barbara Przebieracz Bankowa 14, p.568
Sprawy organizacyjne Jak można się ze mna skontaktować dr Barbara Przebieracz Bankowa 14, p.568 barbara.przebieracz@us.edu.pl www.math.us.edu.pl/bp 10 wykładów, Zaliczenie wykładu: ocena z wykładu jest
Bardziej szczegółowoPodstawy logiki i teorii zbiorów Ćwiczenia
Podstawy logiki i teorii zbiorów Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Różnica symetryczna 4 5 Kwantyfikatory. 5 6 Relacje 7
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, 2019 Zadania 1-100
Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl Zadania 1-100 Udowodnij, że A (B C) = (A B) (A C) za pomocą diagramów Venna. Udowodnij formalnie, że (A B i A C) A B C oraz że (A
Bardziej szczegółowoIII. Funkcje rzeczywiste
. Pojęcia podstawowe Załóżmy, że dane są dwa niepuste zbiory X i Y. Definicja. Jeżeli każdemu elementowi x X przyporządkujemy dokładnie jeden element y Y, to mówimy, że na zbiorze X została określona funkcja
Bardziej szczegółowoNotatki z Analizy Matematycznej 1. Jacek M. Jędrzejewski
Notatki z Analizy Matematycznej 1 Jacek M. Jędrzejewski Wstęp W naszym konspekcie będziemy stosowali następujące oznaczenia: N zbiór liczb naturalnych dodatnich, N 0 zbiór liczb naturalnych (z zerem),
Bardziej szczegółowoPodstawy logiki i teorii zbiorów Ćwiczenia
Podstawy logiki i teorii zbiorów Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Różnica symetryczna 4 5 Iloczyn kartezjański 5 6 Kwantyfikatory.
Bardziej szczegółowo(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
Bardziej szczegółowodomykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
Bardziej szczegółowoLogika i teoria mnogości Ćwiczenia
Logika i teoria mnogości Ćwiczenia Spis treści 1 Zdania logiczne i tautologie 1 2 Zdania logiczne i tautologie c.d. 2 3 Algebra zbiorów 3 4 Różnica symetryczna 4 5 Iloczyn kartezjański 5 6 Kwantyfikatory.
Bardziej szczegółowoBukiety matematyczne dla gimnazjum
Bukiety matematyczne dla gimnazjum http://www.mat.uni.torun.pl/~kolka/ 1 X 2002 Bukiet I Dany jest prostokąt o bokach wymiernych a, b, którego obwód O i pole P są całkowite. 1. Sprawdź, że zachodzi równość
Bardziej szczegółowo1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:
1 Rachunek zdań Formuły zdaniowe (lub krócej: zdania) w klasycznym rachunku zdań składają się ze zmiennych zdaniowych nazywanych też zdaniami składowymi (oznaczane są zazwyczaj p, q, r,...) oraz operatorów
Bardziej szczegółowoMatematyka dyskretna. 1. Relacje
Matematyka dyskretna 1. Relacje Definicja 1.1 Relacją dwuargumentową nazywamy podzbiór produktu kartezjańskiego X Y, którego elementami są pary uporządkowane (x, y), takie, że x X i y Y. Uwaga 1.1 Jeśli
Bardziej szczegółowoZadania do Rozdziału X
Zadania do Rozdziału X 1. 2. Znajdź wszystkie σ-ciała podzbiorów X, gdy X = (i) {1, 2}, (ii){1, 2, 3}. (b) Znajdź wszystkie elementy σ-ciała generowanego przez {{1, 2}, {2, 3}} dla X = {1, 2, 3, 4}. Wykaż,
Bardziej szczegółowoRoger Bacon Def. Def. Def. Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoFunkcja kwadratowa. f(x) = ax 2 + bx + c,
Funkcja kwadratowa. Funkcją kwadratową nazywamy funkcję f : R R określoną wzorem gdzie a, b, c R, a 0. f(x) = ax 2 + bx + c, Szczególnym przypadkiem funkcji kwadratowej jest funkcja f(x) = ax 2, a R \
Bardziej szczegółowoTeoria automatów i języków formalnych. Określenie relacji
Relacje Teoria automatów i języków formalnych Dr inŝ. Janusz ajewski Katedra Informatyki Określenie relacji: Określenie relacji Relacja R jest zbiorem par uporządkowanych, czyli podzbiorem iloczynu kartezjańskiego
Bardziej szczegółowoLogika Matematyczna 16 17
Logika Matematyczna 16 17 Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Semantyka KRP (3) Jerzy Pogonowski (MEG) Logika Matematyczna 16 17 Semantyka KRP (3) 1 / 24
Bardziej szczegółowoMatematyka dyskretna. Andrzej Łachwa, UJ, B/14
Matematyka dyskretna Andrzej Łachwa, UJ, 2019 andrzej.lachwa@uj.edu.pl 2B/14 Relacje Pojęcia: relacja czyli relacja dwuargumentowa relacja w zbiorze A relacja n-argumentowa Relacja E = {(x, x): x S} jest
Bardziej szczegółowoI. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne
Bardziej szczegółowoIVa. Relacje - abstrakcyjne własności
IVa. Relacje - abstrakcyjne własności Grzegorz Kosiorowski Uniwersytet Ekonomiczny w Krakowie rzegorz Kosiorowski (Uniwersytet Ekonomiczny wiva. Krakowie) Relacje - abstrakcyjne własności 1 / 22 1 Zwrotność
Bardziej szczegółowoLista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
Bardziej szczegółowo1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14
Wstęp do matematyki Matematyka, I rok. Tomasz Połacik Spis treści 1 Logika................................. 1 2 Zbiory................................. 7 3 Pewnik wyboru............................ 10
Bardziej szczegółowoZestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących
Zestaw 1 Zadanie 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących zdań: a) p (q r). b) Jeśli x + y = 1, to x 2 + y 2 1. c) Jeśli 2 + 2 = 4, to 3 + 3 = 8. Zadanie 2.
Bardziej szczegółowoRoger Bacon Def. Def. Def Funktory zdaniotwórcze
Kto lekceważy osiągnięcia matematyki przynosi szkodę całej nauce, ponieważ ten, kto nie zna matematyki, nie może poznad innych nauk ścisłych i nie może poznad świata." Roger Bacon Def. Zdaniem logicznym
Bardziej szczegółowoRównoliczność zbiorów
Logika i Teoria Mnogości Wykład 11 12 Teoria mocy 1 Równoliczność zbiorów Def. 1. Zbiory X i Y nazywamy równolicznymi, jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy,że ustala równoliczność
Bardziej szczegółowoZiemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
Bardziej szczegółowoZajęcia nr 1 (1h) Dwumian Newtona. Indukcja. Zajęcia nr 2 i 3 (4h) Trygonometria
Technologia Chemiczna 008/09 Zajęcia wyrównawcze. Pokazać, że: ( )( ) n k k l = ( n l )( n l k l Zajęcia nr (h) Dwumian Newtona. Indukcja. ). Rozwiązać ( ) ( równanie: ) n n a) = 0 b) 3 ( ) n 3. Znaleźć
Bardziej szczegółowoRelacje. Relacje / strona 1 z 18
Relacje Relacje / strona 1 z 18 Relacje (para uporządkowana, iloczyn kartezjański) Definicja R.1. Parą uporządkowaną (x,y) nazywamy zbiór {{x},{x,y}}. Uwaga: (Ala, Ola) (Ola, Ala) Definicja R.2. (n-tka
Bardziej szczegółowoJęzyk rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...
Język rachunku predykatów 1 Zmienne x, y, z... 2 Predykaty n-argumentowe P(x, y,...), Q(x, y...),... 3 Funktory zdaniowe,,,, 4 Kwantyfikatory: istnieje, dla każdego Język rachunku predykatów Ustalenie
Bardziej szczegółowo- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.
1 Zbiór potęgowy - Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S. - Dowolny podzbiór R zbioru 2 S nazywa się rodziną zbiorów względem S. - Jeśli S jest n-elementowym zbiorem,
Bardziej szczegółowoRozważmy funkcję f : X Y. Dla dowolnego zbioru A X określamy. Dla dowolnego zbioru B Y określamy jego przeciwobraz:
Rozważmy funkcję f : X Y. Dla dowolnego zbioru A X określamy jego obraz: f(a) = {f(x); x A} = {y Y : x A f(x) = y}. Dla dowolnego zbioru B Y określamy jego przeciwobraz: f 1 (B) = {x X; f(x) B}. 1 Zadanie.
Bardziej szczegółowo1 Funktory i kwantyfikatory
Logika, relacje v07 egzamin mgr inf niestacj 1 1 Funktory i kwantyfikatory x X x X Φ(x) dla każdego x X (= dla wszystkich x) zachodzi formuła Φ(x) Φ(x) istnieje x X takie, że (= dla pewnego x) zachodzi
Bardziej szczegółowoRELACJE I ODWZOROWANIA
RELACJE I ODWZOROWANIA Definicja. Dwuargumentową relacją określoną w iloczynie kartezjańskim X Y, X Y nazywamy uporządkowaną trójkę R = ( X, grr, Y ), gdzie grr X Y. Zbiór X nazywamy naddziedziną relacji.
Bardziej szczegółowoCzęść wspólna (przekrój) A B składa się z wszystkich elementów, które należą jednocześnie do zbioru A i do zbioru B:
Zbiory 1 Rozważmy dowolne dwa zbiory A i B. Suma A B składa się z wszystkich elementów, które należą do zbioru A lub do zbioru B: (x A B) (x A x B). Część wspólna (przekrój) A B składa się z wszystkich
Bardziej szczegółowoZadanie 2. Obliczyć rangę dowolnego elementu zbioru uporządkowanego N 0 N 0, gdy porządek jest zdefiniowany następująco: (a, b) (c, d) (a c b d)
Matemaryka dyskretna - zadania Zadanie 1. Opisać zbiór wszystkich elementów rangi k zbioru uporządkowanego X dla każdej liczby naturalnej k, gdy X jest rodziną podzbiorów zbioru skończonego Y. Elementem
Bardziej szczegółowoUwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.
Logika i teoria mnogości Wykład 11 i 12 1 Moce zbiorów Równoliczność zbiorów Def. 1. Zbiory X i Y są równoliczne (X ~ Y), jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy, że ustala równoliczność
Bardziej szczegółowoWykład ze Wstępu do Logiki i Teorii Mnogości
Wykład ze Wstępu do Logiki i Teorii Mnogości rok ak. 2016/2017, semestr zimowy Wykład 1 1 Wstęp do Logiki 1.1 Rachunek zdań, podstawowe funktory logiczne 1.1.1 Formuła atomowa; zdanie logiczne definicje
Bardziej szczegółowoInternetowe Kółko Matematyczne 2003/2004
Internetowe Kółko Matematyczne 003/004 http://www.mat.uni.torun.pl/~kolka/ Zadania dla szkoły średniej Zestaw I (5 IX) Zadanie 1. Które liczby całkowite można przedstawić w postaci różnicy kwadratów dwóch
Bardziej szczegółowoElementy logiki Zbiory Systemy matematyczne i dowodzenie twierdzeń Relacje
Dr Maciej Grzesiak, pok.724 E e-mail: maciej.grzesiak@put.poznan.pl http://www.put.poznan.pl/ maciej.grzesiak Konsultacje: poniedziałek, 8.45-9.30, środa 8.45-9.30, piątek 9.45-10.30, pokój 724E Treść
Bardziej szczegółowoDefinicja i własności wartości bezwzględnej.
Równania i nierówności z wartością bezwzględną. Rozwiązywanie układów dwóch (trzech) równań z dwiema (trzema) niewiadomymi. Układy równań liniowych z parametrem, analiza rozwiązań. Definicja i własności
Bardziej szczegółowo1. Wielomiany Podstawowe definicje i twierdzenia
1. Wielomiany Podstawowe definicje i twierdzenia Definicja wielomianu. Wielomianem stopnia n zmiennej rzeczywistej x nazywamy funkcję w określoną wzorem w(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, przy
Bardziej szczegółowoFunkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016
Funkcje Elementy Logiki i Teorii Mnogości 2015/2016 Oznaczenia i pojęcia wstępne Niech f X Y będzie relacją. Relację f nazywamy funkcją, o ile dla dowolnego x X istnieje y Y taki, że (x, y) f oraz dla
Bardziej szczegółowoSYLABUS DOTYCZY CYKLU KSZTAŁCENIA realizacja w roku akademickim 2016/2017
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2020 realizacja w roku akademickim 2016/2017 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu
Bardziej szczegółowoZapisujemy:. Dla jednoczesnego podania funkcji (sposobu przyporządkowania) oraz zbiorów i piszemy:.
Funkcja Funkcją (stosuje się też nazwę odwzorowanie) określoną na zbiorze o wartościach w zbiorze nazywamy przyporządkowanie każdemu elementowi dokładnie jednego elementu. nazywamy argumentem, zaś wartością
Bardziej szczegółowoJarosław Wróblewski Matematyka Elementarna, zima 2012/13
Poniedziałek 12 listopada 2012 - zaczynamy od omówienia zadań z kolokwium nr 1. Wtorek 13 listopada 2012 - odbywają się zajęcia czwartkowe. 79. Uprościć wyrażenia a) 4 2+log 27 b) log 3 2 log 59 c) log
Bardziej szczegółowo2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11
M. Beśka, Wstęp do teorii miary, rozdz. 2 11 2 Rodziny zbiorów 2.1 Algebry i σ - algebry zbiorów Niech X będzie niepustym zbiorem. Rodzinę indeksowaną zbiorów {A i } i I 2 X nazywamy rozbiciem zbioru X
Bardziej szczegółowoDEFINICJA. Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B.
RELACJE Relacje 1 DEFINICJA Definicja 1 Niech A i B będą zbiorami. Relacja R pomiędzy A i B jest podzbiorem iloczynu kartezjańskiego tych zbiorów, R A B. Relacje 2 Przykład 1 Wróćmy do przykładu rozważanego
Bardziej szczegółowoKombinowanie o nieskończoności. 3. Jak policzyć nieskończone materiały do ćwiczeń
Kombinowanie o nieskończoności. 3. Jak policzyć nieskończone materiały do ćwiczeń Projekt Matematyka dla ciekawych świata spisał: Michał Korch 22 marzec 2018 Szybkie przypomnienie z wykładu Prezentacja
Bardziej szczegółowoWykład 2. Informatyka Stosowana. 8 października 2018, M. A-B. Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41
Wykład 2 Informatyka Stosowana 8 października 2018, M. A-B Informatyka Stosowana Wykład 2 8 października 2018, M. A-B 1 / 41 Elementy logiki matematycznej Informatyka Stosowana Wykład 2 8 października
Bardziej szczegółowoWykłady z Matematyki Dyskretnej
Wykłady z Matematyki Dyskretnej dla kierunku Informatyka dr Instytut Informatyki Politechnika Krakowska Wykłady na bazie materiałów: dra hab. Andrzeja Karafiata dr hab. Joanny Kołodziej, prof. PK Informacje
Bardziej szczegółowoZbiory, funkcje i ich własności. XX LO (wrzesień 2016) Matematyka elementarna Temat #1 1 / 16
Zbiory, funkcje i ich własności XX LO (wrzesień 2016) Matematyka elementarna Temat #1 1 / 16 Zbiory Zbiory ograniczone, kresy Zbiory ograniczone, min, max, sup, inf Zbiory ograniczone 1 Zbiór X R jest
Bardziej szczegółowoNp. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Bardziej szczegółowoFunkcje - monotoniczność, różnowartościowość, funkcje parzyste, nieparzyste, okresowe. Funkcja liniowa.
Funkcje - monotoniczność, różnowartościowość, funkcje parzyste, nieparzyste, okresowe. Funkcja liniowa. Monotoniczność i różnowartościowość. Definicja 1 Niech f : X R, X R. Funkcję f nazywamy rosnącą w
Bardziej szczegółowoElementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Bardziej szczegółowoLekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
Bardziej szczegółowoStruktury formalne, czyli elementy Teorii Modeli
Struktury formalne, czyli elementy Teorii Modeli Szymon Wróbel, notatki z wykładu dra Szymona Żeberskiego semestr zimowy 2016/17 1 Język 1.1 Sygnatura językowa Sygnatura językowa: L = ({f i } i I, {P j
Bardziej szczegółowoTopologia I Wykład 4.
Topologia I Wykład 4. Stefan Jackowski 24 października 2012 Przeciąganie topologii przez rodzinę przekształceń X zbiór. f = {f i : X Y i } i I rodziną przekształceń o wartościach w przestrzeniach topologicznych
Bardziej szczegółowoLogika matematyczna i teoria mnogości (I) J. de Lucas
Logika matematyczna i teoria mnogości (I) J. de Lucas Ćwiczenie 1. (Zad. L. Newelskiego) Niech p oznacza zdanie Ala je, zaś q zdanie As wyje. Zapisz jako formu ly rachunku zdań nastȩpuj ace zdania: 1.1.
Bardziej szczegółowoJarosław Wróblewski Matematyka Elementarna, lato 2012/13. Czwartek 28 marca zaczynamy od omówienia zadań z kolokwium nr 1.
Czwartek 28 marca 2013 - zaczynamy od omówienia zadań z kolokwium nr 1. 122. Uprościć wyrażenia a) 4 2+log 27 b) log 3 2 log 59 c) log 6 2+log 36 9 123. Dla ilu trójek liczb rzeczywistych dodatnich a,
Bardziej szczegółowo3. Operacje na zbiorach (1) Sprowadź poniższe zdania dotyczące zbiorów do postaci zdań logicznych i sprawdź ich prawdziwość.
1. Zapis matematyczny i elementy logiki matematycznej (1) Zapisz, używając symboliki matematycznej zdania: (a) Liczby x i y mają wspólny dzielnik większy od 2. (b) Jeśli x i y różnią się o 1, to nie mają
Bardziej szczegółowoRozdział 7 Relacje równoważności
Rozdział 7 Relacje równoważności Pojęcie relacji. Załóżmy, że dany jest niepusty zbiór A oraz własność W, którą mogą mieć niektóre elementy zbioru A. Własność W wyznacza pewien podzbiór W A zbioru A, złożony
Bardziej szczegółowoKonstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych
Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych Marcin Michalski 14.11.014 1 Wprowadzenie Jedną z intuicji na temat liczb rzeczywistych jest myślenie o nich jako liczbach,
Bardziej szczegółowoWykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26
Wykład 1 Informatyka Stosowana 3 października 2016 Informatyka Stosowana Wykład 1 3 października 2016 1 / 26 Wykłady : 45h (w semestrze zimowym) ( Egzamin) 30h (w semetrze letnim ) ( Egzamin) Zajęcia praktyczne:
Bardziej szczegółowo