Amaliy mashg’ulot (2 soat) Mavzu

Kvantorlar qatnashgan mulohaza inkorini yasash.

(_{ })P(x) yoki (∃x∈X)P(x) ko‘rinishdagi mulohaza inkorini yasashda quyidagicha yo‘l tutiladi:

Mulohazaga “emas” yoki “ekani yolg‘on” so‘zlari qo‘shiladi.

Ikkinchi usuli:

1. “Mavjudlik” kvantori “Umumiylik” kvantoriga yoki aksincha almashtiriladi.

2. Predikat uning inkori bilan almashtiriladi.

¬ (_{ })P(x)= (∃x∈X)¬P(x)

¬ (_{ })P(x)= (_{ }∈X)¬P(x)

Masalan:

I. (_{ })P(x) – Barcha tub sonlar toq sonlardir.

¬ (_{ })P(x) –Barcha tub sonlar toq sonlar ekanligi yolg‘on.

(∃x∈X)¬P(x) – Tub sonlar ichida toq bo‘lmaganlari ham topiladi.

II. (∃x∈X)P(x) – 3 ga karrali sonlarning ba’zilari 9 ga karrali.

¬ (∃x∈X)P(x) – 3 ga karrali sonlarning ba’zilari 9 ga karrali ekanligi yolg‘on.

(_{ }∈X)¬P(x) –3 ga karrali sonlarning barchasi 9 ga karrali.

I holda berilgan mulohaza yolg‘on va uning inkori rost bo‘lsa, II holda aksincha.