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

жүктеу 8,05 Mb.

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

1 ... 20 21 22 23 24 25 26 27 ... 75

Н├

(9)

алынады.

Формуланың шығарылатынын дәлелдеуде тек қана қорытындылау ережесін емес, күрделі қорытындылау ережесін пайдалануға мүмкін екендігі түсінікті. Онда бұл ережені пайдаланып, (9) тұжырымды (5), (7), (1) және (3) тұжырымдардан алуға болады.

Анықтама. Формулалардың Н ақырлы жиынынан шығаруы деп әрбір мүшесі келесі шарттарды қанағаттандыратын формулалардың В₁,В₂,…,В_к тізбегін айтамыз:

1) ол Н жиынының бір формуласы болады,

2) ол дәлелденетін формула болады,

3) ол В₁,В₂,…,В_к тізбегінің алдынғы кез келген екі мүшесінен қорытындылау ережесі бойынша шығады.

Алдынғы мысалда көрсеткеніміздей, формулалардың Н={А,В} жиынынан шығаруы формулалардың келесі ақырлы тізбегі болады:

А, В, (А→А)→((А→В)→(А

)), (А→В), А→А, (А→В)→(А

)), А→В, А

. (1,2,3,7,5,6,8 формулалар).

Егер күрделі қорытындылау ережесін пайдалансақ, онда шығаруды былай жазуға болады:

жүктеу 8,05 Mb.

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

1 ... 20 21 22 23 24 25 26 27 ... 75