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