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

жүктеу 8,05 Mb.

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

1 ... 10 11 12 13 14 15 16 17 ... 75

2.3 Тұжырымдар есептелімінің аксиомалар жүйесі

2.2. Дәлелденетін формула ұғымы

Тұжырымдар есептелімінің құруда келесі кезең дәлелденетін (шығарылатын) формулалардың класын бөліктеу болады.

Дәлелденетін формула анықтамасы формулалар анықтамасы сияқты. Алдымен бастапқы дәлелденетін шығарылатын формулалар (аксиомалар) анықталады, ал содан кейін бар дәлелденетін формулалардан жаңа дәлелденетін формулаларды алуға мүмкіндік беретін шығару ережелері анықталады. Бастапқы дәлелденетін формулалардан шығару ережелерін қолдану көмегімен жаңа дәлелденетін формуланы алу процесі берілген формуланы аксиомалардан шығаруы (дәлелдеуі) деп аталады.

_{2.3 Тұжырымдар есептелімінің аксиомалар жүйесі}

Тұжырымдар есептелімінің аксиомалар жүйесі төрт топқа бөлінетін 11 аксиомадан тұрады.

Аксималардың бірінші тобы (құрамыларыны тек импликация енеді).

Аксималардың екінші тобы ( импликацияға конъюнкция қосылды):

жүктеу 8,05 Mb.

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

1 ... 10 11 12 13 14 15 16 17 ... 75