Bir joyli predikatni ta’rifi

7-ma’ruza uchun o’zini-o’zi tekshirish savollari

1. 
   Formal mantiq qanday fan?
   

Bir joyli predikatni ta’rifi: to’plamda aniqlangan va to’plamdan qiymat qabul qiluvchi bir argumentli funksiyaga bir joyli (bir o’rinli) predikat deb aytiladi.

2. 
   Tahlil, sintez, induksiya, dедукция, abstraktlashtirish, analogiya (o’xshashlik) va taqqoslash tushunchalarini izohlang?
   

Bir joyli predikat: Agar to’plamda aniqlangan predikat uchun bo’lsa, u aynan chin (aynan yolg’on) deb aytiladi.

Ikki joyli predikat: Berilgan to’plamda aniqlangan va predikatlarning konyunksiyasi deb, faqat va faqat ning qiymatlarida va lar bir vaqtda chin qiymat qabul qilgandagina chin qiymat qabul qilib, qolgan barcha hollarda yolg’on qiymat qabul qiluvchi yangi predikatga aytiladi va u kabi belgilanadi.