Implikatsiya amali. p va q mulohazalarning
implikatsiyasi deb p rost, q yolg’on bo’lganda yolg’on, boshqa hollarda rost bo’lgan yangi mulohazaga aytiladi va uni p=>q ko’rinishda belgilanadi.
Implikatsiya amaliga “agar …, bo’lsa, u holda, … bo’ladi” kabi bog’lovchi so’zlar mos keladi.
Ekvivalensiya amali.p va q mulohazalarning ekvivalensiyasi deb p va q larning
bir xil qiymatlarida rost, turli qiymatlarida yolg’on bo’lgan yangi mulohazaga aytiladi va uni ko’rinishda belgilanadi. Ekvivalensiya amaliga “Agar … bo’lsa, shu holda va faqat shu holda ... bo’ladi”, “...bajarilishi uchun ... bajarilishi zarur va etarli” kabi bog’lovchi so’zlar mos keladi.
