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


Πνευματική ιδιοκτησία @2018 Lxjkh