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

жүктеу 8,05 Mb.

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

1 ... 16 17 18 19 20 21 22 23 ... 75

Силлогизм ережесі

Күрделі қорытындылау ережесі
Қорытындылау ережесін де жалпылау мүмкін. Жалпылау нәтижесінде алынған туынды ереже

түрдегі формулаларға қолданылады да былай анықталады:

егер

және

формулалар дәлелденетін болса, онда L формуласы да дәлелденетін формула.

Күрделі қорытындылау ережесі былай жазылады:

├А₁, ├А₂, …,├А_n, ├A₁→(A₂→(A₃→(...(A_n→L) …))) .

├ L
Силлогизм ережесі

Егер А→В және В→С формулалары дәлелденетін болса, онда А→С формуласы да дәлелденеді, яғни

├А→В,├В→С .

├А→С
Контрапозиция ережесі

Егер А→В формуласы дәлелденетін болса, онда

формула да дәлелденеді, яғни

├ А →В .

├

Бұл ереженің мысалында тұжырымдар есептелімінде мұндай тұжырымдардың дәлелдеу жолын көрсетеміз.

алмастыруын орындап,

├(А→В)→├(

) (1)

дәлелденетін формуланы аламыз.

Ал шарт бойынша

├А→В (2)

– дәлелденетін формула.

Онда (2) және (1) формулаларынан қорытындылау ережесі бойынша ├

.

жүктеу 8,05 Mb.

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

1 ... 16 17 18 19 20 21 22 23 ... 75

©g.engime.org 2025
әкімшілігінің қараңыз

Басты бет
рсетілетін қызмет
халықаралық қаржы
Астана халықаралық
қызмет регламенті
бекіту туралы
туралы ережені
орталығы туралы
субсидиялау мемлекеттік
кеңес туралы
ніндегі кеңес
орталығын басқару
қаржы орталығын
қаржы орталығы
құрамын бекіту
неркәсіптік кешен
міндетті құпия
болуына ерікті
тексерілу мемлекеттік
медициналық тексерілу
құпия медициналық
ерікті анонимді
Бастауыш тәлім
қатысуға жолдамалар
қызметшілері арасындағы
академиялық демалыс
алушыларға академиялық
білім алушыларға
ұйымдарында білім
туралы хабарландыру
конкурс туралы
мемлекеттік қызметшілері
мемлекеттік әкімшілік
органдардың мемлекеттік
мемлекеттік органдардың
барлық мемлекеттік
арналған барлық
орналасуға арналған
лауазымына орналасуға
әкімшілік лауазымына
инфекцияның болуына
жәрдемдесудің белсенді
шараларына қатысуға
саласындағы дайындаушы
ленген қосылған
шегінде бюджетке
салығы шегінде
есептелген қосылған
ұйымдарға есептелген
дайындаушы ұйымдарға
кешен саласындағы
сомасын субсидиялау