2-мавзу. Бинар муносабатлар. Режа. Муносабатлар. Бинар муносабат

2-хоссанинг исботи: бўлсин, яъни га эквивалент бўлсин, у вақтда . Ҳақиқатан ҳам, ( ни билдиради) дан ва бўлганлиги учун муносабатининг транзитив хусусиятига асосан келиб чиқади, яъни . Эквивалентлик муносабатининг симметриклик хоссасидан фойдаланиб, ни исбот этиш мумкин. Демак, .
Асосий дарслик ва қўлланмалар.
1. E.Mendelson Introduction to mathematical logic, fifthe edition, by Taylor & Francis Group, LLC, 2010
2. Kenneth H. Rosen, Discrete mathematics and its applications, 7- edition, The McGraw-Hill Companies, 2012
3. Ершов Ю. Л., Палютин Е. А. Математическая логика. М.: Наука, 1987.
4. Kasimov N.Kh., Dadajonov R.N., Ibragimov F.N. Diskret matematika va matematik mantiq asoslari (o’quv qullanma), Тoshkent, 2016.
5. Yunusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari, T., 2008.
6. Lavrov I. A., Maksimova L. L. Zadachi po teorii mnojestv, matematicheskoy logike i teorii algoritmov. M.: Fiz.-mat. literatura, 1995
Мустақилишлашучунсаволлар:
Функция. Тартибланган жуфтлик. Функциялар тенглиги. Бир қийматли функция. Суперпозиция. Функцияларнинг функцияси. Тескари функция.