Предикаттар логикасы


Мазмұны
І Кіріспе . . . 3
ІІ Негізгі бөлім
- Предикаттар логикасы . . . 4
- Предикаттар. Негізгі ұғымдар . . . 7
- Кванторлар . . . 12
- Орындалуы мен шынайылығы . . . 19
ІІІ Қорытынды . . . 21
Кіріспе
Педикаттар логикасы ойын айту логикасын дамытуды айқындайды. Ойын айтып жеткізу логикасының формулаларының көмегімен, мысалы алгебра логикасы арқылы ойын айтып жеткізудің күрделі жүйесін суреттеп және зерттеуде, оған кіретін қарапайым ойын айтып жеткізудің ақиқат және жалған екендігіне байланысты екендігін айқындау қажет.
Қарапайым ойын айтып жеткізудің ішкі логикалық жүйесін суреттеу үшін предикат ұғымы пайдаланылады.
Логикалық байланыстардың көмегімен предикаттар бірігіп әртүрлі логикалық формулаларға предикатты формулалар болады.
Предикатты формулаларды зерттеу және олардың ақиқатты екенін айқындау тәсілі предикаттар логикасының негізгі пәні болып табылады.
Предикаттар теориясы, ойын айтып жеткізу логикасы секілді алгебра логикасының предикаттары және санау предикаттары түрінде құрылуы мүмкін.
Осындай таңдау бірқатар себептермен айқындалады. Предикаттарды қолдана отырып, түзіліс процесс жүйенің логикалық болжамдарында предикаттардың логикасының және байланыстары маңызды рол ойнайды.
Предикаттар логикасы соған кіретін ойын айтып жеткізетін логикасы мен математиканың логикалық тілінің негізі болып табылады. Соның көмегімен формуландыру және математикалық теориялары дәл зерттеудің негізгі әдістері болып табылады.
Предикаттар логикасы дамыған жүйелерді, тілдерді және формальды жүйелерді құрудың маңызды құралы болып табылады.
Курс жұмысы кіріспеден, екі тарудан, қорытындыдан және пайдаланылған әдебиеттер тізімінен тұрады.
Предикаттар логикасы
Предикаттар логикасы ойын айту логикасын дамытуды айқындайды. Ойын айтып жеткізу логикасының формулаларының көмегімен, мысалы алгебра логикасы арқылы ойын айтып жеткізудің күрделі жүйесін суреттеп және зерттеуге, оған кіретін қарапайым ойын айтып жеткізудің ақиқат немесе жалған екендігіне байланысты екендігін айқындау қажет. Қарапайым ойын айтып жеткізудің (байланысы жоқ ойын айтып жеткізу) ішкі логикалық жүйесін суреттеу үшін предикат ұғымы пайдаланылады.
Предикат дегеніміз - ауыспалы заттық мазмұны бар соған сәйкес көп жақты ұғыммен айқындалған хабарлы сөйлем.
Ауыспалыларды нақты мағыналармен (элементтермен) ауыстырғанда көп түр немесе сөйлемге айналып «ақиқат» немесе «талғам» деген мағынаға ие болады. Предикатты белгілеу яғни п ауыспалы мазмұнында болса (п - орынды предикат) ; Р (х 1 , х 2 , . . . х п ) мұндай кезде айқындалатыны егер х 1 є М 1 , х 2 є М 2 ; . . . х п є М п
Мысал ретінде үш ой айтып жеткізуді қарастырамыз:
А - сом - Ресей валютасы
В - Доллар - Ресей валютасы
С - Доллар - АҚШ валютасы
А және С айтып жеткізу - ақиқат, ал В - жалған. Е - ге нақты валютаның аттарының А, В ойын айтып жеткізу (мүмкін соған ұқсас болуы мүмкін) пәндік ауыспалы х - ті қойып ақша бірліктерінің аттарының көпшілінде анықтауға болады х є
сом, доллар, фунт стерлинг, . . . , марка
, сонда бір орынды предикат Р (х) - х - Ресей валютасы.
Егер А, В, С ойын айтып жеткізулерінде (немесе соған ұқсас болса) онда нақты валюта мен мемлекеттердің орнына соған сәйкес х және у мәндерін қойса, онда у є
Ресей, АҚШ, Англия, . . . , Германия
деген мағынада екі орынды предикат алынады Р (х, у) - «х - валюта у». Аталған прдикаттар үшін жалпы болып табылады, яғни соған сәйкес анықтау облысына кіретін ауыспалылардың мағынасын жазғаннан кейін, «ақиқат» немесе «жалған» қасиеттері бар ойын айтып жеткізу мағынасын аламыз.
Логикалық байланыстардың (жақшалардың) көмегімен предикаттар бірігіп әр түрлі логикалық формулаларға - предикатты формулалар болады. Предикатты формуларды зерттеу және олардың ақиқатты екенін айқындау тәсілі предикаттар логикасының негізгі пәні болып табылады.
Предикаттар логикасы соған кіретін ойын айтып жеткізетін логикасымен математиканың логикалық тілінің негізі болып табылады. Соның көмегімен формуландыру және математикалық теорияларды дәл зерттеудің негізгі әдістері болып табылады. Предикаттар логикасы дамыған жүйелерді тілдерді және формальды жүйелерді (формальді теориялар) құрудың маңызды құралы болып табылады.
Предикаттар теориясы, ойын айтып жеткізу логикасы секілді алгебра логикасының предикаттары және санау предикаттары түрінде құрылуы мүмкін. Осындай таңдау бірқатар себептермен айқындалады:
- Алгебра логикасының предикатты формулаларын зерттеу, олардың қайта пайда болуы предикаттарды санауға қарағанда қарапайымдылау болады.
- Алгебра аппаратын қолдануды шектеу айқындалғаны, пәндік облыстарда (пәнді ауыспалы предикаттарда белгіленген көпжақтылық) теориялық жағынан шексіз болуы мүмкін. Мұндай жағдайларда предикаттардың және жалпы алғанда формулаларыдың ақиқат екендігін тексерудің стандартты тәсілі пәндік ауыспалалардың барлық мүмкін қоюылуын қажет ететін тәсіл қатаң мағынада іске асырыла алмайды (дәлірек айтқанда ақиқатты есептеу процедурасы шексіз болуы мүмкін және қандайды соңғы уақытқа жауап бере алмауы мүмкін) . Бірақ тәжірибеде кездесетіндей пәндікоблыстар ретінде нақты жүйелерді, процестерді, құбылыстарды суреттегенде ереже бойынша соңғы көп жақтылық қолданылады. Сондақтан шексіздік мәселесі өзінің маңызды деңгейлігінде өзінің өзектілігін жоғалтады.
- Төменде, суреттелген мысалдарда шексіз көп жақтылықпен көптеген натуралды сандармен ақиқатты формула арқылы тексеру қажеттілігінде орта мектепте басқа пәндерден алған білімдерге, мысалы мектептік арифметикаға негізделеміз.
§ 5. 1. Предикаттар. Негізгі ұғымдар.
n - орындық предикат - ол дегеніміз Р (х 1 , х 2 , . . . , х n ) функциясының n ауыспалыларынан кейбір пәндік облыстарда мағыналарды қабылдайды, яғни х 1 є М 1 , х 2 є М 2 , . . . х є М п болып, ал Р функциясы екі логикалық мағына - «ақиқат» және «жалған» мағыналарды қабылдайды (белгілеулер:
И, Л
,
1, 0
) . Сонымен предикат Р (х 1 , х 2 , . . . , х n ) төмендегідей типтегі фунция болып табылады. Р: М 1 х М 2 х . . . х М n → В, бұл жерде көп жақтылар М 1 , М 2 , . . . , М n предикаттың пәндік облыстары болып табылады, ал х 1 , х 2 , . . . , х n - предикаттың пәндік ауыспалылары, ал В - екі еселенген (биналық) көпжақтылық: В = {И, Л} немесе {1, 0}. Егер предикаттың ауыспалалардың мағынасы бір көпжақтылықта болса Р: М n → В.
Предикаттардың, қатынастардың және функциялардың арасындағы сәйкестіктер:
1. Кез келген М және п арасында бір мағыналық сәйкестіктер п - орындық қатынастардың көрінісі R
М n → В
- әр n - орынды қатынастарға R - ға предикаттар Р (х 1 , х 2 , . . . , х п ) сәйкес яғни Р (а 1 , а 2 , . . . , а п ) = 1 егер және сол кезде (а 1 , а 2 , . . . , а п ) є R болса.
- предикаттың әрқайсысы Р (х 1 , х 2 , . . . , х n ) қатынастарды айқындап R сағынасы егер (а 1 , а 2 , . . . , а п ) є R егер тек қана сол Р(а 1 , а 2 , . . . , а п ) = 1
Мұндай кезде R предикат Р - дің ақиқаттың облысын айқындайды.
2. Әр функцияға f (х 1 , х 2 , . . . , х п ) және f: М n → М, соған сәйкес предикат Р (х 1 , х 2 , . . . , х п , х п+1 ), Р:М n+1 → B және P(a 1 , a 2 , …, a n , a n+1 ) =1 егерде f(a 1 , a 2 , …, a n ) =a n+1
Предикаттың ұғымы функцияның ұғымына қарағанда кеңірек (5. 1-суретті қараңыз) сондықтан керісі де сәйкес (n+1) - орындық предикаттан n-орынды функцияға барлық кезде сәйкес келмейді, ол тек қана Р′ предикатына егер оларға кейбір жағдай орындалса, іске асады (функцияның бір мағыналылық талаптарымен байланысты болса) :
егер Р′(a 1 , a 2 , …, a n , a n+1 ) =R
онда кез келген a′ n+1 ≠ a n+1
Р′(a 1 , a 2 , …, a n , a′ n+1 ) =0 (5. 1)
Сондай сәйкестік (өзара бір
мағыналық) көпжақтылық қатынасы арасында
және функция көпшілігінде
болады. Осы кластағы қатынастар үшін сондай жағдай орындалады:
егер (a 1 , a 2 , …, a n , a n+1 ) £ R′, онда әр a′ n+1 ≠ a n+1 , (a 1 , a 2 , …, a n , a n+1 ) ∉R′ 0 (5. 2)
P(a 1 , a 2 , …, a n ) теңдеуіне «Р(a 1 , a 2 , …, a n ) =1» тұжырымы ретінде қарастырамыз немесе «Р(a 1 , a 2 , …, a n ) ақиқат», ал Р(х 1 , x 2 , …, x n ) теңдеуін ауыспалы тұжырым ретінде қарастырамыз, оның шынайы түрі х 1 , х 2 , . . . , х n ауыспалыларының орнына М көбейтінді элементін қойып анықталады. Мұндай жағдайда Р(х 1 , х 2 , . . . , х n ) логикалық ауыспалы деп атайтын боламыз, х 1 , х 2 , . . . , х n ерекшелігі - пәндік ауыспалылар (логикалық емес) .
Жоғарыда айтып өткендей предикаттардан қосымша болжамдар түзуге болады,
- предикаттар логикасының формуласы.
Префиксті жазбаға байланысты екі орынды предикаттарды белгілеу үшін P(x 1 , x 2 ) инфиксті таспалар жиі қолданыла бермейді. х 1 Рх 2
1-мысал. Натуральды сан көбейтіндісінде анықталған төмендегі предикаттар қандай қатынастарға және функцияларға сәйкес келеді:
1) Е:N 2 →B теңдігінің предикаты;
Е(а 1 , а 2 ) =1 сонда және тек қана сонда а 1 =а 2 болғанда
2) Q:N 2 →B ретінің предикаты
Q(a 1 , a 2 ) =1 сонда а 1 =а 2 болғанда ғана
3. D:N 2 →B бөлінгішінің предикаты
D(a 1 , a 2 ) =1 сонда а 1 бөлінеді а 2 болғанда ғана
4. S:N 3 →B мөлшерінің предикаты
S(a 1 , a 2 , a 3 ) =1 сонда, a 1 +a 2 =a 3 болғанда ғана
5. П:N 3 →B шығармасының предикаты
П(a 1 , a 2 , a 3 ) =1 сонда және a 1 ⋅a 2 =a 3 болғанда ғана
→1. E-x 1 =x 2 мәнінің екі орынды предикатына өзара бірыңғай сәйкес келеді:
- Екі орынды қатынас R1- «тең болу», R1⊆N2: (a1, a2) ∈R1сонда және тек қана E(a1, a2) =1;
- Бір орынды функция f1(x1) =x2мәнінде атап атқанда: f1(x) =x, f:N→N
- Іс жүргізу
- Автоматтандыру, Техника
- Алғашқы әскери дайындық
- Астрономия
- Ауыл шаруашылығы
- Банк ісі
- Бизнесті бағалау
- Биология
- Бухгалтерлік іс
- Валеология
- Ветеринария
- География
- Геология, Геофизика, Геодезия
- Дін
- Ет, сүт, шарап өнімдері
- Жалпы тарих
- Жер кадастрі, Жылжымайтын мүлік
- Журналистика
- Информатика
- Кеден ісі
- Маркетинг
- Математика, Геометрия
- Медицина
- Мемлекеттік басқару
- Менеджмент
- Мұнай, Газ
- Мұрағат ісі
- Мәдениеттану
- ОБЖ (Основы безопасности жизнедеятельности)
- Педагогика
- Полиграфия
- Психология
- Салық
- Саясаттану
- Сақтандыру
- Сертификаттау, стандарттау
- Социология, Демография
- Спорт
- Статистика
- Тілтану, Филология
- Тарихи тұлғалар
- Тау-кен ісі
- Транспорт
- Туризм
- Физика
- Философия
- Халықаралық қатынастар
- Химия
- Экология, Қоршаған ортаны қорғау
- Экономика
- Экономикалық география
- Электротехника
- Қазақстан тарихы
- Қаржы
- Құрылыс
- Құқық, Криминалистика
- Әдебиет
- Өнер, музыка
- Өнеркәсіп, Өндіріс
Қазақ тілінде жазылған рефераттар, курстық жұмыстар, дипломдық жұмыстар бойынша біздің қор #1 болып табылады.

Ақпарат
Қосымша
Email: info@stud.kz