Ekvivalentlik munosabati - ekvivalentlik munosabati refleksiv, simmetrik va tranzitiv bo‘lgan binar munosabat hisoblanadi.
Birinchi tartibli mantiq – kvantorlari alohida mavjud predmetning xossalari va munosabatlari ustida emas, balki uning o‘zi ustida joylashgan mantiqiy sistemadir. Birinchi tartibli mantiq predikatli o‘zgaruvchilar emas, alohida o‘zgaruvchilarga ega.
Yerkin o‘zgaruvchi – o‘zgaruvchining erkin tarzda zohir bo‘lishi.
Bilvosita isbotlash – tezisga zid fikrdan kelib chiqib isbotlash.
Mantiqiy ziddiyat – mumkin bo‘lgan barcha holatlarda yolg‘on bo‘lgan mulohaza. Har qanday mantiqiy ziddiyat TW-ziddiyat hamdir, lekin uning aksi emas.
Mantiqiy zaruriyat – qarang: mantiqiy haqiqat.
Mantiqiy haqiqat – asoslar turli jamlanmasining mantiqiy natijasi bo‘lgan gapdir (mulohazadir). Bu asoslarning yolg‘on bo‘la olmasligiga bog‘liq emas. Shunday qilib, mantiqiy haqiqat mumkin bo‘lgan barcha holatlarda vujudga keladi. Bu mantiqiy zaruriyat deb ham ataladi.
Do'stlaringiz bilan baham: |
