A mulohaza rost, B mulohaza yolg‘on bo‘lgandagina yolg‘on, qolgan holatlarda
rost bo‘ladigan mulohazaga A hamda B mulohazalarning
implikatsiyasi
deyiladi
“=>”
belgi implikatsiya
belgisi deb ataladi. A=>B
mantiqiy ifoda “Agar A bo‘lsa, u holda B
bo‘ladi” yoki “A mulohazadan B mulohaza kelib chiqadi”, degan ma’nolarni anglatadi.
Implikatsiya amaliga mos rostlik jadvali
quyidagi ko‘rinishda bo‘ladi: Implikatsiya so‘zi mahkam
bog‘layapman degan ma’noni anglatadi.
Masalan: A
=“Agar 72 soni 9 ga karrali bo‘lsa, u holda bu son 3 ga
ham karrali bo‘ladi”. A mulohazaning implikatsiyasi rost, chunki murakkab mulohaza
tarkibidagi sodda mulohazalarning ikkalasi ham rost.
B
=“Agar –3<–1 bo‘lsa, u holda 9<8 bo‘ladi”. B mulohazaning implikatsiyasi yolg‘on, chunki
–3<–1 shart – rost, 9<8 esa yolg‘on
A=>B, A–>B ko‘rinishlardan biri orqali A mulohazaning implikatsiyasi bеlgilanadi.
8>8>