Lista 1 - Rachunek zdań i reguły wnioskowania

Podobne dokumenty
Lista 0 - Okolice rachunku zdań

Lista 1 - Rachunek zdań i reguły wnioskowania

Lista 1 - Rachunek zdań i reguły wnioskowania

(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)];

Wstęp do matematyki listy zadań

Elementy logiki matematycznej

Indukcja matematyczna

Pytania i polecenia podstawowe

Elementy logiki. Zdania proste i złożone

Bukiety matematyczne dla gimnazjum

Elementy logiki i teorii mnogości

W pewnym mieście jeden z jej mieszkańców goli wszystkich tych i tylko tych jej mieszkańców, którzy nie golą się

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

1 Rachunek zdań, podstawowe funktory logiczne

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

Lista 1 (elementy logiki)

LOGIKA I TEORIA ZBIORÓW

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016

1 Rachunek zdań, podstawowe funk tory logiczne

Roger Bacon Def. Def. Def. Funktory zdaniotwórcze

Zestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących

Sprawy organizacyjne. dr Barbara Przebieracz Bankowa 14, p.568

IMIĘ NAZWISKO... grupa C... sala Egzamin ELiTM I

1 Podstawowe oznaczenia

Logika i teoria mnogości Ćwiczenia

Indukcja matematyczna. Zasada minimum. Zastosowania.

1 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.

Przykł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),

LOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Roger Bacon Def. Def. Def Funktory zdaniotwórcze

Zadania z analizy matematycznej - sem. I Liczby i funkcje

Matematyka dyskretna. Andrzej Łachwa, UJ, 2019 Zadania 1-100

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Jarosław Wróblewski Matematyka Elementarna, zima 2012/13

Zadania z analizy matematycznej - sem. I Liczby i funkcje

Logika matematyczna i teoria mnogości (I) J. de Lucas

XII Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna (1 września 2016 r. 17 października 2016 r.)

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13

ELiTM 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ą.

Zestaw zadań dotyczących liczb całkowitych

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

Logika binarna. Prawo łączności mówimy, że operator binarny * na zbiorze S jest łączny gdy (x * y) * z = x * (y * z) dla każdego x, y, z S.

Jarosław Wróblewski Matematyka Elementarna, lato 2012/13. Czwartek 28 marca zaczynamy od omówienia zadań z kolokwium nr 1.

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

III. Funkcje rzeczywiste

FUNKCJE. 1. Podstawowe definicje

Funkcja kwadratowa. f(x) = ax 2 + bx + c = a

6. Liczby wymierne i niewymierne. Niewymierność pierwiastków i logarytmów (c.d.).

Lekcja 3: Elementy logiki - Rachunek zdań

Bukiety matematyczne dla gimnazjum

Zbiory, funkcje i ich własności. XX LO (wrzesień 2016) Matematyka elementarna Temat #1 1 / 16

1. Powtórka ze szkoły. Wykład: (4 godziny), ćwiczenia: , kolokwium nr 1:

Wstęp do Logiki i Struktur Formalnych Lista zadań

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

3. Operacje na zbiorach (1) Sprowadź poniższe zdania dotyczące zbiorów do postaci zdań logicznych i sprawdź ich prawdziwość.

Lista 0 wstęp do matematyki

Definicja i własności wartości bezwzględnej.

Plan wynikowy z wymaganiami edukacyjnymi z przedmiotu matematyka w zakresie rozszerzonym dla klasy I liceum ogólnokształcącego

Dalszy ciąg rachunku zdań

Wykład I. Literatura. Oznaczenia. ot(x 0 ) zbiór wszystkich otoczeń punktu x 0

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

WIELOMIANY. ZADANIE 1 (5 PKT) Reszta z dzielenia wielomianu x 3 + px 2 x + q przez trójmian (x + 2) 2 wynosi 1 x. Wyznacz pierwiastki tego wielomianu.

Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI

1 Rachunek zdań. w(p) = 0 lub p 0 lub [p] = 0. a jeśli jest fałszywe to:

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

1 Logika Zbiory Pewnik wyboru Funkcje Moce zbiorów Relacje... 14

Podzielność, cechy podzielności, liczby pierwsze, największy wspólny dzielnik, najmniejsza wspólna wielokrotność.

Logika i teoria mnogości Ćwiczenia

Jarosław Wróblewski Matematyka Elementarna, zima 2013/14. Czwartek 21 listopada zaczynamy od omówienia zadań z kolokwium nr 2.

Zbiory. Specjalnym zbiorem jest zbiór pusty nie zawierajacy żadnych elementów. Oznaczamy go symbolem.

Podstawy logiki i teorii zbiorów Ćwiczenia

Maciej Grzesiak Instytut Matematyki Politechniki Poznańskiej. Elementy logiki

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Składnia rachunku predykatów pierwszego rzędu

Podstawy logiki i teorii zbiorów Ćwiczenia

1. Liczby naturalne, podzielność, silnie, reszty z dzielenia

Jednoznaczność rozkładu na czynniki pierwsze I

Funkcje rzeczywiste jednej. Matematyka Studium doktoranckie KAE SGH Semestr letni 2008/2009 R. Łochowski

Internetowe Kółko Matematyczne 2003/2004

Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.

Funkcje - monotoniczność, różnowartościowość, funkcje parzyste, nieparzyste, okresowe. Funkcja liniowa.

Funkcja kwadratowa. f(x) = ax 2 + bx + c,

Podstawowe Pojęcia. Semantyczne KRZ

Jarosław Wróblewski Matematyka Elementarna, zima 2011/12

Internetowe Ko³o M a t e m a t yc z n e

Liczby pierwsze. Kacper Żurek, uczeń w Gimnazjum nr 1 im. Jana Pawła II w Giżycku.

0. ELEMENTY LOGIKI. ALGEBRA BOOLE A

Treści zadań Obozu Naukowego OMG

WIELOMIANY SUPER TRUDNE

ALGEBRA Z GEOMETRIĄ ANALITYCZNĄ

XXV Rozkosze Łamania Głowy konkurs matematyczny dla klas I i III szkół ponadgimnazjalnych. zestaw A klasa I

Zadania do samodzielnego rozwiązania

IX Olimpiada Matematyczna Gimnazjalistów

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Wykład 1. Informatyka Stosowana. 3 października Informatyka Stosowana Wykład 1 3 października / 26

1. Wielomiany Podstawowe definicje i twierdzenia

1. Elementy logiki matematycznej, rachunek zdań, funkcje zdaniowe, metody dowodzenia, rachunek predykatów

Transkrypt:

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 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ę? 2. Zbadaj, które z poniższych formuł są tautologiami: 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)]. 3. 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. 4. 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; 5. Zapisz za pomocą alternatywy, koniunkcji i negacji spójnik albo (alternatywę wykluczającą). 6. Zapisz formułę: p 1 (p 2 (p 3... (p n q))...) używając znak implikacji: a) tylko raz; b) ani razu. 7. 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) alternatywę, implikację oraz równoważność za pomocą negacji oraz koniunkcji; b) koniunkcję, implikację oraz równoważność za pomocą negacji oraz alternatywy; c) negację, koniunkcję, alternatywę oraz implikację za pomocą spójnika Pierce a. d) negację, koniunkcję, alternatywę oraz implikację za pomocą kreski Sheffera. 8. 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. a) Zapisz w zwykłej notacji KCpNqp. b) Zapisz w notacji polskiej zasady sprzeczności i wyłączonego środka oraz prawa de Morgana.

9. Zbadaj, czy poniższe schematy wnioskowania są poprawne: ( p) q, p (p q) r, q p (q r), r a) ; b) ; c) ; q p r p q p q, ( p) q (p q) r, q p q,p ( q) d) ; e) : f). q p r p 10. 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 ani na gitarze, ani 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. e) Jeśli Jones nie spotkał tej nocy Smitha, to Smith jest mordercą lub Jones kłamie. Jeżeli Smith nie jest mordercą, to Jones nie spotkał tej nocy Smitha i morderstwo nastąpiło po północy. Jeżeli morderstwo miało miejsce po północy, to Smith jest mordercą lub Jones kłamie. Wniosek: Smith jest mordercą. 11. Zbadaj, czy podany zestaw informacji jest niesprzeczny: a) Jeśli wieczór nudny, to Ala płacze lub Anatol opowiada śmieszne historie. Jeżeli wieczorem zjawia się Sylwester, to wieczór jest nudny lub Ala płacze. Jeżeli Anatol opowiada śmieszne historie, to Ala nie płacze. Sylwester zjawia się wieczorem wtedy i tylko wtedy, gdy Anatol nie opowiada śmiesznych historii. Jeśli Ala płacze, to Anatol opowiada śmieszne historie. b) Jeżeli kurs papierów wartościowych rośnie lub stopa procentowa maleje, to ceny akcji spadają lub podatki nie rosną. Ceny akcji spadają wtedy i tylko wtedy, gdy idzie w górę kurs papierów wartościowych i rosną podatki. Jeżeli stopa procentowa maleje, to ceny akcji nie spadają lub kurs papierów wartościowych nie rośnie. Podatki rosną lub ceny akcji maleją i maleje stopa procentowa. 12. 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. 13. 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.

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ą; e) każda liczba parzysta większa od 2 jest sumą dwu liczb pierwszych (hipoteza Goldbacha); f) istnieje nieskończenie wiele liczb pierwszych. 3. Kwantyfikatory ograniczone określamy wzorami 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. 4. Wykaż, że nie zachodzi wynikanie: a) x(a(x) B(x)) ( xa(x) xb(x)); b) ( xa(x) B(x)) ( x(a(x) B(x))); c) x yr(x, y) y xr(x, y); d) [ xa(x) B(x))] ( x(a(x) B(x))). 5. 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. (P(x) M(x). 6. Wyprowadź poniższe reguły wnioskowania: x(p(x) Q(x)), x(p(x) M(x)) a) ; 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)) 7. 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! 8. 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ść.

Lista ekstra e = 2, 718... - Typowe techniki dowodzenia Poniższe zadania pokazują charakter zadań, jakie mogą pojawić się na I minikolokwium w charakterze zadań na redagowanie dowodów. Nie są przeznaczone do rozwiazywania na ćwiczeniach. Niestety, czasem wymagana jest samodzielność! 1. Wykaż, że: a) suma dwu liczb nieparzystych jest parzysta; b) jeżeli iloczyn dwu liczb całkowitych jest parzysty, to przynajmniej jeden z czynników jest parzysty. 2. Wykaż, że: a) suma trzech kolejnych liczb naturalnych dzieli się przez 3; b) iloczyn trzech kolejnych liczb naturalnych dzieli sie przez 6. 3. Czy prawdą jest, że: a) iloczyn trzech kolejnych liczb naturalnych dzieli się przez 8; b) iloczyn czterech kolejnych liczb naturalnych dzieli się przez 24; c) pośród trzech kolejnych nieparzystych liczb naturalnych występuje liczba złożona; d) suma trzech liczb pierwszych jest liczbą złożoną; e) suma dwu sześcianów różnych dodatnich liczb naturalnych jest liczbą złożoną. Odpowiedź dokładnie uzasadnij, dając krótkie rozumowanie bądź kontrprzykład. 4. Podaj kontrprzykłady dla ponizszych zdań: a) kwadrat liczby niewymiernej jest liczba niewymierną; b) suma liczb niewymiernych jest liczbą niewymierną; c) iloczyn liczby niewymiernej przez liczbe wymierną jest liczba niewymierną. 5. Wiadomo, że dla liczby naturalnej n jest liczbą wymierną wtedy i tylko wtedy, gdy n jest kwadratem liczby naturalnej. Korzystając z tego faktu wykaż, że liczbami niewymiernymi są: a) 2 3; b) 1+ 5; c) 2+ 3; d) 4 2. Możesz korzystać z faktu, że suma, różnica i iloczyn liczb wymiernych jest liczba wymierną. 6. Korzystając z zasady indukcji matematycznej wykaż, że: a) 1+3+3 2 +...+3 n = 3n+1 1 ; 2 b) 7 n 1 dzieli się przez 6; c) dla n N zachodzi nierówność 4 n > n 2. 7. Wiadomo, że liczby e oraz π są niewymierne. Wywnioskuj stąd, że któraś z liczb e+π lub e π jest niewymierna. Czy wiadomo która?

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) C; b) (A B) B = (A B) B; c) A (B C) = (A B) C; d)a (B C) = (A B) (A C); e) A (B C) = (A B) (A C); f) (A\B)\C = A\(B \C); g) (A\B) C = (A C)\(B C); h) (A\B) C = (A C)\(B C); i) (A B) C = (A C) (B C); j) (A B) C = (A C) (B C); k) (A B) C = (A C) (B C); l) (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. Wykaż, że A B = B A wtedy i tylko wtedy, gdy A = B lub A = lub B =. 4. 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). 5. 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). 6. Które z ponizszych 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? 7. Które z ponizszych 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?

Lista 4 - Funkcje 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]; 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+1. 3. 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 jeżeli f jest różnowartościowa, to każdą z inkluzji w poprzednim zadaniu można zastąpić równoscią. 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. Inwolucją nazywamy taką funkcję f : X X, że f f jest identycznością. Wykaż, że każda inwolucja jest bijekcją. Podaj przykłady nieidentycznościowych inwolucji w algebrze i geometrii. 8. Inwersją względem okręgu x 2 +y 2 = 1 o środku O = (0,0) nazywamy przekształcenie, które punktowi P O przyporządkowuje punkt P leżący na półprostej OP, taki że OP OP = 1. a) Uzasadnij, że inwersja jest inwolucją na R 2 \{O}. b)* Znajdź obraz i przeciwobraz prostej x = 1/2 przez inwersję.