ПОӘК 042-14. 01. 20. 205/03-2013 02. 09. 20013 №1 басылым
жүктеу/скачать 14,91 Mb.
|
|
Анықтама. Предикаттық формулаға кіретін элементарлық формулалардың орнына кез келген предикат қойғанда нәтижесінде тепе-тең ақиқат предикат болатын предикаттық формула ортақ мәндес предикаттық формула деп аталады. Анықтама. Предикаттық формулаларға кіретін элементарлық формулалардың орнына кез келген предикат қойғанда нәтижесінде мәндес предикаттар болатын предикаттық формулалар мәндес деп аталады. 
Предикат логикасының заңдары. Предикаттар логикасында маңызды роль атқаратын бірқатар ұқсастықтарды қарастырайық.  . (1)
«  объектісінің А(х) шартын қанағаттандырады деген дұрыс емес» және «А(х) шартын қанағаттандырмайтын объект х табылады» деген сөйлемдердің мәні бір екендігін (1) ұқсастық көрсетеді.
 . (2)
«А(х) шартын қанағаттандыратын х объектісі табылатыны дұрыс емес» деген сөйлемді «Ешбір х объектісі А(х) шартын қанағаттандырмайды» деген қос терістеу заңына сүйене отырып (1) мен (2)-нің екі жағына да терістеу амалын қолдансақ, нәтижесінде  . (3)
 . (4)
Бұдан біз жалпылық кванторын табылу кванторы арқылы және керісінше табылу кванторы жалпылық кванторы арқылы көрсетуге болатынын көреміз. Келесі екі ұқсастық конъюнкцияға қатысты жалпылық кванторының дистрибутивтік қасиетін және дизъюнкцияға қатысты табылу кванторының дистрибутивтік қасиетін көрсетеді.  . (5)
 . (6)
Каталог: ebook -> umkd umkd -> Мамандығына арналған Сұлтанмахмұттану ПӘнінің ОҚУ-Әдістемелік кешені umkd -> Қазақстан Республикасының umkd -> Қазақстан Республикасының umkd -> Студенттерге арналған оқу әдістемелік кешені umkd -> ПӘннің ОҚУ Әдістемелік кешені 5В011700 «Қазақ тілі мен әдебиеті» мамандығына арналған «Ұлы отан соғысы және соғыстан кейінгі жылдардағы қазақ әдебиетінің тарихы (1941-1960)» пәнінен ОҚытушыға арналған пән бағдарламасы umkd -> «Балалар әдебиеті» пәніне арналған оқу-әдістемелік материалдар 2013 жылғы №3 басылым 5 в 050117 «Қазақ тілі мен әдебиеті» umkd -> ПӘннің ОҚУ-Әдістемелік кешенінің umkd -> 5 в 011700- Қазақ тілі мен әдебиеті umkd -> 5 в 011700- Қазақ тілі мен әдебиеті umkd -> «Филология: қазақ тілі» мамандығына арналған жүктеу/скачать 14,91 Mb. Достарыңызбен бөлісу:
|