Mavzu: Normal formalar. Mdnf, mknf. Mulohazalar algebrasi formulalarini mdnf va mknf larda ifodalash



Yüklə 221,14 Kb.
səhifə6/8
tarix08.04.2022
ölçüsü221,14 Kb.
#85164
1   2   3   4   5   6   7   8
2-mavzu
Кичик гуруҳларда ижодий изланишни ташкил этиш метод lotin
2- teorema.Elementar mulohazalarning aynan yolg‘on bo‘lmagan ixtiyoriyformulasini MDNShga keltirish mumkin.

Isboti. Elementar mulohazalarning aynan yolg‘on formulasidan farqli berilgan formulasini bilan belgilab, avvalo, formulani MKNShga keltiramiz. teng kuchlilikdan foydalanib, formulaning MKNShi tarkibida qatnashuvchi barcha ifodalardagi belgi o‘rniga belgi va, aksincha, o‘rniga hamda elementar mulohazalar o‘rinlariga mos ravishda ularning inkorlari, va, aksincha, elementar mulohazalarning inkorlari o‘rinlariga mos ravishda ularning o‘zlari qo‘yilsa, u holda formulaning MDNShi hosil bo‘ladi. ■


Yüklə 221,14 Kb.

Dostları ilə paylaş:
1   2   3   4   5   6   7   8




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©genderi.org 2022
rəhbərliyinə müraciət

    Ana səhifə