13-математik маnтiq аsoslari kirish

3.1.2. Asosiy mantiqiy bog‘liqliklar.

Sodda mulohazalardan murakkab mulohazalarni hosil qilish uchun mulohazalar ustida bajarilishi mumkin bo`lgan mantiqiy amal(bog’liqlik)larning belgilaridan foydalaniladi.

Mulohazalar ustida quyidagi asosiy 5 ta mantiqiy amal bajariladi: inkor qilish amali, kon’yunktsiya amali, diz’yunktsiya amali, implikatsiya amali va ekvivalentlik amali.
Ta`rif 1. 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: