Στη μαθηματική λογική, ένα ευρετήριο είναι κοινώς κατανοητό ότι είναι μια συνάρτηση Boolean-P: X → {true, false}, που ονομάζεται πρόβατο στο Χ. Ωστόσο, τα predicate έχουν πολλές διαφορετικές χρήσεις και ερμηνείες στα μαθηματικά και τη λογική και τον ακριβή ορισμό τους , η έννοια και η χρήση θα διαφέρουν από θεωρία σε θεωρία. Έτσι, για παράδειγμα, όταν μια θεωρία ορίζει την έννοια μιας σχέσης, τότε ένα predicate είναι απλώς η χαρακτηριστική συνάρτηση ή η λειτουργία δείκτη μιας σχέσης. Ωστόσο, όλες οι θεωρίες δεν έχουν σχέσεις ή βασίζονται στη θεωρία των συνόλων και έτσι πρέπει να προσέξουμε με τον σωστό ορισμό και τη σημασιολογική ερμηνεία ενός κατηγόρου.
|