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

жүктеу 8,05 Mb.

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

1 ... 13 14 15 16 17 18 19 20 ... 75

_2.4_{Шығару ережелері}

1. Алмастыру ережесі (АЕ).

Егер А формуласы тұжырымдар есептелімінде шығарылатын (дәлелденетін) формула, х – айнымалы, В – тұжырымдар есептелімінің кез келген формуласы болса, онда А формуладағы х айнымалыны В формулаға алмастыру нәтижесінде алынған формула да шығарылатын (дәлелденетін) болады.

А формуладағы х айнымалыны В формулаға алмастыру амалы алмастыру деп аталады да келесі түрде жазылады:

немесе

Егер А – шығарылатын (дәлелденетін) болса, онда ├А деп жазамыз. АЕ схематикалық түрде төмендегідей жазуға болады:

├А____ .

├

Бұл жазылу былай оқылады: “Егер А формуласы шығарылатын (дәлелденетін) болса, онда

формуласы да шығарылатын (дәлелденетін) болады.

2 Қорытындылау ережесі (ҚЕ).

Егер А және А→В формулалары тұжырымдар есептелімінде шығарылатын (дәлелденетін) болса, онда В формуласы да шығарылатын (дәлелденетін) болады. Бұл ереженің схематикалық жазылуы мынадай болады:

├А;├А→В (Modus ponens)

├В

Бұл ереженің дұрыстығы айқын: егер импликация мен шарт ақиқат болса, онда импликациядағы қорытынды тек ақиқат болуы мүмкін.

жүктеу 8,05 Mb.

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

1 ... 13 14 15 16 17 18 19 20 ... 75

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

2.4 Шығару ережелері

_2.4_{Шығару ережелері}