Diskret tuzilmalar” fani

O‘ZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA KOMMUNIKATSIYALARINI RIVOJLANTIRISH VAZIRLIGI
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT
TEXNOLOGIYALARI UNIVERSITETI SAMARQAND FILIALI
Telekommunikatsiya texnologiyalari va kasb ta'limi fakulteti
“Diskret tuzilmalar” fani

AMALIY TOPSHIRIQ № 1

Mavzu: mulohazalar algebrasiga kirish. Mulohaza
tushunchasi. sodda va murakkab mulohaza. asosiy mantiqiy mulohazalar


Topshirdi: Zaripov F
Samarqand – 2023 y.
Mantiq dalil keltirish va xulosa chiqarish prinsiplarini o‟rganuvchi falsafiy tadqiqotdir. Formal fan sifatida mantiq abstrakt unsurlar ta‟kid yoki argumantlar bo‟lishi mumkin. Mantiqqa oid dastlabki fikrlar Qadimgi Sharq mamlakatlarida, xususan, Hindiston, Xitoyda vujudga kelgan. Mantiq ilmining alohida fan sifatida shakillanishi Aristotel nomi bilan bog‟liq.
Ta’rif 1. Rost yoki yolg„onligi aniq bo„lgan darak gap mulohaza deyiladi.
Ta’rif 2. Agar A mulohazaning o„zi bir tasdiq bo„lib, ma‟nosi bo‟yicha u bilan ustma – ust tushmaydigan bir qismini ajratib ko„rsatish mumkin bo„lmasa, u
holda A mulohazaga sodda mulohaza deyiladi.
Ta’rif 3. Sodda mulohazalardan mantiqiy bog`lovchilar yoki mantiqiy amallar yordamida hosil qilingan mulohazaga murakkab mulohaza deyiladi. Ta’rif 4. Mulohazaning rostlik qiymatlaridan tuzilgan jadvalga rostlik jadvali deyiladi
Ta`rif 5. A mulohazaning inkori deb, shunday yangi mulohazaga aytiladiki, agarda A mulohaza yolg`on bo`lsa, uning inkori chin bo`ladi va
aksincha. A mulohazaning inkori ¬A yoki Ā kabi belgilanadi va “A emas” deb o`qiladi.
Inkor qilish amali uchun rostlik jadvalini tuzish mumkin:

A