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

жүктеу 8,05 Mb.

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

1 ... 37 38 39 40 41 42 43 44 ... 75

Предикаттар логикасының формуласының мәні
Формуланың логикалық мәні жайлы бұл формулаға кіретін предикаттардың М анықталу аймағы берілгенде ғана айтуға болады. Формуланың логикалық мәні үш түрлі айнымалылардың мәндеріне тәуелді: 1) формулаға енетін айнымалы тұжырымдардың мәндеріне, 2) М жиынына тиісті бос пәндік айнымалылардың мәндеріне, 3) предикатты айнымалылардың мәндеріне.

Осы үш түрлі айнымалылардың анық мәндерінде предикаттар логикасының формуласы ақиқат немесе жалған мән қабылдайтын тұжырым болады.

Мысал ретінде келесі формуланы қарастырамыз:

, (1)

Бұл формулада екі орынды Р(x, y) предикаты MM жиынында анықталған, мұнда M={0,1,2,…,n,…}, яғни MM=NN.

В формулу (1) формулаға кіретін P(x,y) айнымалы предикаттың үш x,y,z пәндік айнымалыларынан екеуі – у және z кванторлармен байланған, ал үшіншісі х – бос.

P(x,y) предикаттың мәнін бекітеміз: P⁰(x,y)= «x болсын. Онда у-тің x⁰=5 мәнінен кіші мәндерінде P⁰(x⁰,y) предикаты “жалған” мәнін, ал импликация

барлық

үшін “ақиқат” мәнін қабылдайды, яғни

тұжырымы ақиқат.

жүктеу 8,05 Mb.

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

1 ... 37 38 39 40 41 42 43 44 ... 75