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

Дәлелденетін формуланың анықтамасы

жүктеу 8,05 Mb.

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

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

_{2.5 Дәлелденетін формуланың анықтамасы}

а) Әрбір аксиома дәлелденетін формула болады.

б) Кез келген В формуласынан х айнымалының орнына алмастыруды қолдану нәтижесінде алынған формула – дәлелденетін формула.

в) А және

дәлелденетін формулаларға қорытындылау ережесін қолдану нәтижесінде алынған В формуласы – дәлелденетін формула болады.

г) Тұжырымдар есептелімінің ешқандай басқа формуласы дәледенетін болып саналмайды.

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

жүктеу 8,05 Mb.

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

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