f p (
a 1 , …,
an ) =
1, если
P (
a 1 , …,
an ) истинно,
0 в противном случае.
Биз негизинен "предикат" терминин баштапкы аныктама маанисинде түшүнөбүз, б.а. д. лингвистикалык туюнтма катары.
Бул негизги максаттардын бири, буга чейин кириш сөзүндө белгиленгендей, биринчи даражадагы логиканын экспрессивдүү мүмкүнчүлүктөрүн, табигый (мисалы, орус) тилде туюнтулган маалыматтын жардамы менен берүү мүмкүнчүлүгүн изилдөө болуп саналат. бул логика.