Предикаттар жана алар боюнча операциялар
жүктеу/скачать 26,19 Kb.
|
Логика предикатов первого порядка
| Dp = {( a 1 , …, an ) Mn айтуусунда P(a1, …, an) чын}.
Dp катышын P предикаттын чындык аймагы деп атоого болот. Көп учурларда Р предикатын Dp катышы менен аныктоого болот. Бирок ошол эле учурда мамилелер боюнча операцияларды аныктоодо предикаттар боюнча операцияларга окшош кээ бир кыйынчылыктар пайда болот. Экинчиден, M боюнча аныкталган P(x1, …, xn) предикатын теңдик менен аныкталган f p : Mn {0, 1}функциясы менен идентификациялоого болот. f p ( a 1 , …, an ) = 1, если P ( a 1 , …, an ) истинно, 0 в противном случае. Биз негизинен "предикат" терминин баштапкы аныктама маанисинде түшүнөбүз, б.а. д. лингвистикалык туюнтма катары. Бул негизги максаттардын бири, буга чейин кириш сөзүндө белгиленгендей, биринчи даражадагы логиканын экспрессивдүү мүмкүнчүлүктөрүн, табигый (мисалы, орус) тилде туюнтулган маалыматтын жардамы менен берүү мүмкүнчүлүгүн изилдөө болуп саналат. бул логика. жүктеу/скачать 26,19 Kb. Достарыңызбен бөлісу:
|