Bajariluvchi formulalar. Endi berilgan formula uning atrkibida qatnashuvchi elementar mulohazalarning ba’zi qiymatlar satrlari uchun ch, ba’zilari uchun esa yo qiymat qabul qilish holini qaraymiz.
2.4.1-ta’rif. Tarkibidagi elementar mulohazalarning kamida bitta qiymatlar satrida ch qiymat qabul qiluvchi aynan ch in bo’lagan formula bajariluvchi formula deb ataladi. 2.4.1-misol.formulalar bajariluvchi formulalardir, lekin formulalar bajariluvchi formulalar emas (1-,2- va 3- jadvallarga qarang)
Xulosa: - Mulohaza. Mulohazalar ustida amallar haqida ma’lumot berildi;
- Formula va teng kuchlilik tushunchalari haqida ma’lumot hamda formulalar, jadvallar keltirildi;
-Tavtologiya ta’rif, teorema va misollar keltirildi jadvallari bilan;
-Aynan chin formulalar ta’rif, teorema va misollar keltirildi jadvallari bilan;
-Aynan yolg’on formullar ta’rif, teorema va misollar keltirildi jadvallari bilan;
- Bajariluvchi formulalar ta’rif, teorema va misollar keltirildi jadvallari bilan;
Foydalanilgan adabiyotlar: 1 . Hotam To’rayev “ Matematik mantiq va diskret matematika “
Toshkent “ O’qituvchi “ -2003 .
2 . Kenneth H. Rosen Discrete mathematics and is applications , 7- edition , The Mc Graw – Hill Companies 2012 . Введение в математичискую Логину : М . Наука 1984
3 . Мендельсон Е.Введение в математичискую Логину : М . Наука 1984.
4 . Яблонский С .В . Введение в дискретнию математику - М . Наука 1986.
5 . Y unusov A . S . - Matematik mantiq va algoritimlar nazariyasi elementlari . Toshkent 2008 .
6. Hotam To’rayev 2 jildli kitob “ Diskret matematika va matematik mantiq “ 2013 – yil .
7 . Зиков А. А . Основы теории графов . М . « Наука « , 1987.
8 . Новиков П . С . Элементы математической логики . М . Наука , 1973 .
Internet saytlari 9. www.lib.homelinex.org /math
10 . www.eknigu.com./lib/ Mathematics/
11. www.eknigu .com/info/M
12. http://dimacs,Rutgers,edu/
13. http://www.math.uu.se/logic-server/
14 . http://book.uhost.ru./036413/
