Mantiqiy bog'lovchilar, qismiy formula, isbotlanuvchi formula tushunchalarni o'rganib, mulohazalar hisobining aksiomalari sistemasi asosida bir nechta formulani isbotlash va taqdimot tayyorlash
Ko'rgazmada ishning dastlabki 8 ta slayd ko'rsatilgan, yana 9 tasi to'liq faylda. Shtampsiz, tahrirlash mumkin bo'lgan to'liq PPTX fayl to'lovdan so'ng botda yuboriladi.
Ish haqida
«Mantiqiy bog'lovchilar, qismiy formula, isbotlanuvchi formula tushunchalarni o'rganib, mulohazalar hisobining aksiomalari sistemasi asosida bir nechta formulani isbotlash va taqdimot tayyorlash» — tayyor zamonaviy taqdimot. Ish 17 ta slayddan iborat, PPTX formatida, o'zbek tilida; uni PowerPoint dasturida ochib tahrirlash mumkin. Ish turi: taqdimot, prezentatsiya, slayd (PowerPoint, PPTX). Mavzu kirill yozuvida: «Мантиқий боғловчилар, қисмий формула, исботланувчи формула тушунчаларни ўрганиб, мулоҳазалар ҳисобининг аксиомалари системаси асосида бир нечта формулани исботлаш ва тақдимот тайёрлаш». Ko'rgazmada dastlabki 8 ta slayd bepul ko'rsatilgan. Kerakli mavzu topilmasa, Edufayl yangi ishni bir necha daqiqada tayyorlab beradi.
Taqdimot rejasi
- Asosiy mantiqiy bog'lovchilar
- Isbotlanuvchi formula ta'rifi
- Isbotlash qadamlari
- Isbot daraxti
- Asosiy aksiomalar jadvali
- Mantiq — fikrlashning algebra
- Mantiqning raqamlarda ifodasi
Ishdan parcha
Mantiqiy isbot fikrning to'g'riligini tasodifga emas, balki qat'iy qoidalar zanjiriga tayanib asoslaydi.















