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

Предикаттар логикасының формулаларының тепе-теңдігі

жүктеу 8,05 Mb.

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

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

3.5 Предикаттар логикасының формулаларының тепе-теңдігі

Анықтама 1. Егер предикаттар логикасының А және В формулалары М аймаққа тиісті айнымалыларының барлық мәндерінде бірдей логикалық мән қабылдаса, онда бұл формулалар М аймақта тепе-тең деп айтады.

Анықтама 2. Егер предикаттар логикасының А және В формулалары кез келген аймақта тепе-тең болса, онда бұл формулалар тепе-тең деп аталады. Түсінікті, егер тұжырымдар алгебрасының тепе-теңдіктеріне айнымалы тұжырымдардың орындарына предикаттар логикасының формулалары қойылса, олар дұрыс болады. Бірақ, олардан басқа, предикаттар логикасының өзінің тепе-теңдіктері орынды болады. Олардың негізгілерін қарастырайық.

А(х) және В(х) – айнымалы предикаттар, ал С – айнымалы тұжырым болсын (немесе х ке тәуелді емес формула). Онда келесі тепе-теңдіктер орынды:

жүктеу 8,05 Mb.

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

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