Ta’rif. Agar fikrni ikkitadan kam bo’lmagan tashkil etuvchi fikrlarga ajratish mumkin bo’lmasa, u holda elementar (sodda) fikr deyiladi, aks holda, murakkab fikr deyiladi.
Matematik mantiqda “emas”, “va”, “yoki”, “agar... bo’lsa, u holda... bo’ladi”, “... bo’lgan holda va faqat shu holda... bo’ladi” terminlar orqali elementar fikrlardan murakkab fikrlar, murakkab fikrlardan yana ham murakkabroq fikrlar hosil qilinadi va bu jarayon fikrlar ustida mantiq amallarini bajarish deyiladi. Yuqoridagi terminlarni mantiq bog’lovchilari, propozitsional yoki mantiq amallari deyilib, ularni mos ravishda “inkor”, “konyunktsiya”, “dizyunktsiya”, “implikatsiya” va “ekvivalentsiya” deb ataladi.
Matematik mantiqning fikrlarni yoki fikrlar ustidagi amallarni o’rganadigan bo’limi fikrlar algebrasi deyiladi.
Ta’rif. fikrning inkori deb, rost bo’lganda yolg’on va yolg’on bo’lganda rost bo’ladigan yangi fikrga aytiladi va u (yoki ) ko’rinishda belgilanib, u emas deb o’qiladi.
Do'stlaringiz bilan baham: |
