Πίνακας περιεχομένων:
Ορισμός - Τι σημαίνει ο Ποσοτικός προσδιορισμός;
Στη λογική, ένας μετρητής είναι ένα γλωσσικό στοιχείο που βοηθά στην παραγωγή μιας ποσοτικοποίησης, η οποία είναι ένα κατασκεύασμα που αναφέρει τον αριθμό των δειγμάτων στον δεδομένο τομέα του λόγου που ικανοποιεί μια δεδομένη ανοιχτή φόρμουλα. Οι ποσοτικοποιητές χρησιμοποιούνται σε μεγάλο βαθμό στη λογική, τις φυσικές γλώσσες και τα διακριτά μαθηματικά.
Η Techopedia εξηγεί τον Quantifier
Οι ποσοτικοποιητές χρησιμοποιούνται σε ποσοτικές εκφράσεις στις οποίες οι ελεύθερες μεταβλητές δεσμεύονται από τους ποσοτικούς προσδιορισμούς. Με άλλα λόγια, οι μεταβλητές των κατηγοριοποιήσεων ποσοτικοποιούνται με ποσοτικοποιητές. Υπάρχουν δύο γνωστοί ποσοτικοποιητές που χρησιμοποιούνται στη λογική των predicate: ο παγκόσμιος ποσοτικοποιητής και ο υπαρξιακός ποσοτικοποιητής. Ο καθολικός ποσοτικοποιητής ισχυρίζεται ότι οι δηλώσεις εντός του πεδίου εφαρμογής του είναι αληθείς για κάθε τιμή της μοναδικής μεταβλητής, ενώ στην περίπτωση του υπαρξιακού ποσοτικοποιητή, ισχυρίζεται ότι οι δηλώσεις εντός του πεδίου εφαρμογής της είναι αληθείς μόνο για ορισμένες τιμές της συγκεκριμένης μεταβλητής. Ο παγκόσμιος ποσοτικός προσδιοριστής δηλώνεται με το σύμβολο ∀, το οποίο είναι σαν ένα ανεστραμμένο Α. Ο υπαρκτικός ποσοτικός προσδιοριστής δηλώνεται από το σύμβολο ∃, το οποίο είναι σαν ένα προς τα πίσω Ε.
Η κατάταξη του ποσοτικού προσδιορισμού καθορίζει το μέγιστο βάθος πιθανής ένθεσης για τους ποσοτικοποιητές μέσα σε ένα συγκεκριμένο τύπο. Πρέπει να σημειωθεί ότι η σειρά των ποσοτικοποιητών είναι κρίσιμη για την έννοια της λογικής. Οι προσδιοριστές ποσοτήτων έχουν ευρεία χρήση στη λογική των predicate και στα διακριτά μαθηματικά, καθώς βοηθούν στη μετάφραση μιας δεδομένης λογικής δήλωσης.
