Тесты по теме 31 VI тарау. Алгоритмдер теориясының ЭлементтерІ 34

жүктеу 8,05 Mb.

бет	38/75
Дата	11.12.2017
өлшемі	8,05 Mb.
	#4014
түрі	Тесты

1 ... 34 35 36 37 38 39 40 41 ... 75

3.3 Кванторлық амалдар

Предикаттарды тұжырымдарға түрлендіретін амалдарды қарастырайық. М жиынында анықталған Р(х) предикат берілсін. Егер “а” – М жиынының қандай да бір элементі болса, онда Р(х) предикатта х орнына а ны қою берілген предикатты Р(а) тұжырымға айналдырады. Мұндай предикатты бірлік деп атайды. Мысалы, Р(x): “х – жұп сан” – предикат, ал Р(6) – ақиқат тұжырым, Р(3) – жалған тұжырым.

Жоғарыда айтылғанды n – орынды предикаттарға жалпылау мүмкін: егер барлық х_i, i=

, пәндік айнымалылардың орнына олардың мәндері қойылса, онда тұжырым алынады.

Квантификация амалдарын қарастырамыз. Бұл амалдардар да предикаттарды тұжырымдарға айналдырады.
Жалпылау кванторы
Р(х) –  жиынында анықталған предикат болсын. Бұл предикатқа предикат тепе-тең ақиқат болғанда ғана ақиқат болатын

тұжырымын сәйкестікке қоямыз.

тұжырымы былай оқылады: “Кез келген х үшін Р(х) ақиқат ”.

тұжырымы Р(х) предикатқа х айнымалы бойынша жалпылау кванторын ілу көмегімен алынған деп айтады.

символын жалпылау кванторы деп атайды. Р(х) предикатқа х айнымалы бос болып, ал

тұжырымға – х жалпылау кванторымен байланған болып енеді деп айтады.

жүктеу 8,05 Mb.

Достарыңызбен бөлісу:

1 ... 34 35 36 37 38 39 40 41 ... 75