|
Tómendegi aytimlardan qaysi biri predikat esaplanadı? Eger juwap awa bolsa, predikat túrin anıqlań
|
| Sana | 04.12.2023 | | Hajmi | 22,04 Kb. | | #110707 |
Bog'liq перевод1
2.2.1 Predikatlar.
1. 1 Tómendegi aytimlardan qaysi biri predikat esaplanadı? Eger juwap awa bolsa, predikat túrin anıqlań:
3. Lena hám Dima;
4. ;
5. kásiplik awqamı aǵzası, bul jerde toparıńizdaǵi studentler kópligi;
6. Belarus paytaxtı, bul jerde Minsk, Brest ;
7. dáryası teńizine quyıladı, bul jerde Volga, Ural, Dnepr, Neman}, Kaspiy, Qara .
1.2 Natural sanlar kompleksine kiriwshi har qiyli -orınlı predikatlarǵa mısallar keltiriń.
1.3 Pútkil sanlar kompleksinde predikatlarǵa mısallar keltiriń.
1. orinlaniwshi;
2. birdeyine jalǵan;
3. birdeyine shin;
4. hám sonday aytimlar, orinlaniwshi, biraq birdeyine shin emes;
5. olardıń hár biri birdeyine shin emes, biraq birdeyine shin;
6. hám lar sonday aytimlar birdeyine shin boladi;
7. olardıń hár biri birdeyine jalǵan emes, biraq birdeyine jalǵan;
8. sonday bolsın, birdeyine duris bolsın.
1.4 Pútin sanlar kópligindegi hám predikatlarina sonday mısallar keltiriń, nátiyjede tiń dawami bolsın.
2.2.2 Kvantorlar.
2.1 Tómendegi ańlatpalardi shinliqqa tekseriń:
bul jerde
bul jerde
bul jerde
bul jerde
bul jerde
bul jerde
bul jerde
bul jerde
2.2 “ tiń anasi” predikati bolsın. Tómendegi ańlatpalardi oqiń hám olardiń shinligin aniqlań ( hayallar kópligine tiyisli, barlıq adamlar kópligi):
2.3 Tómendegi predikatlardiń tipin aniqlań hám pútin sanlar kópligindegi jaylasiw izbe-izligin korsetiń:
2.4. Pútin sanlar kópliginde predikatlar dúziń:
1. sonday, birdeyine shin boladı;
2. qanaatlandirsa, birdeyine jalǵan boladi;
3. sonday, birdeyine jalǵan;
4. qanaatlandirsa, birdeyine shin boladi.
2.5. Tómendegi ańlatpalardı oqiń hám qaysisi shin yaki jalǵan ekenligin anıqlań. Barlıq ózgeriwshiler haqiyqiy sanlar kópligine jatadi dep esaplansin:
2.6. Haqiyqiy sanlar kópliginde berilgen predikatlardi ajiratiń.
2.2.3 Predikatliq logika formulaları.
1-mısal: Formuladaǵı qawıslardı tikleń
Sheshiliwi. Kvantorlar aytimlarǵa qaraǵanda kúshlilew boladi. Sol sebepli qawıslar birinshi náwbette kvantrlarǵa qoyıladı. Qawıslar formulanıń aniqlamasina qaray jaylastırıladı. Bul aniqlamaniń 2-bántine qaray formula bolıp tabıladı. Sol sebepli 3-bántine tiykarlanip formula bolıp tabıladı. Bunnan soń jáne tap sol tiykarda ańlatpası da formula bolıp tabıladı. Tap sonday etip, biz da formula dep alamız.
Kvantorlar ushin qawislardi qoyip shiǵamiz: . Endi tek ǵana ańlatpalar ushin qawislardi qoyiw qaldi:
.
3.1. Qawıslardı qayta tikleń:
3.2. Múmkin bolǵaninsha qawislardi qisqartpań:
|
| |
