1. Mantiq algebrasidagi arifmetik amallar. Arifmetik amallarni chinlik to`plami. Jegalkin ko`phadi

monoton funksiya va dan kelib chiqqanligidan bo’ladi. ya’ni chunki monoton funksiyadir. M ekanligidan rangli superpozitsiya uchun teorema isbot bo’ladi. Demak, monoton funksiyalarning superpozitsiyasidan hosil qilingan funksiya yana monoton funksiyadir.

Kon`yunksiya va diz`yunksiya monoton funksiyalar bulganligi uchun, teoremaga asosan, ularnng superpozitsiyasidan hosil qilingan funksya ham monoton bo`ladi.

2-teorema. Agar bo’lsa, U holda undan argumentlari o’rniga 0,1 va funksiyani qo`yish usuli bilan funksiyani hosil qilish mumkin.

Adabiyotlar:
1. Г. П.Гаврилов, А. А.Сапожников. Задачи и упражнения по дискретной математике: Учебное пособие. М: ФИЗМАТЛИТ, 2005, 416 с.

2. Кайзер Г.Дж. Комбинаторная математика. М.. Мир, 1966

3. 3. Емеличев В.А. и др. Лекции по теории графов. М.. Наука, 1990.

4. Мендельсон Э. Введение в математическую логику. М., Наука, 1976.

5. Ёқубов Т. Математик логика элементлари. Тошкент, “Ўқитувчи”, 1983.

6. Тўраев Ҳ. Математик мантиқ ва дискрет математика. Самарқанд, 2003.

7. Гаврилов Г.П. и др. Сборник задач по дискретной математики. М.: Наука, 1977.

8. Зыков А.А. Основы теории графов. М., Наука, 1987.

9. Ершов Ю.Л. и др. Математическая логика. М., Наука, 1987