What is the translation of " QUANTIFIERS " in Greek?

• ποσοδείκτες
• των ποσοδεικτών
• ποσοδεικτών
• quantifiers

Examples of using Quantifiers in English and their translations into Greek

Universal quantifiers.
Υπαρξιακοί ποσοδείκτες.

With the quantifiers interpreted to range over the previous stage.
Με τους ποσοδείκτες εκφρασμένους ώστε να κυμαίνονται πάνω από το προηγούμενο στάδιο.

There is/ there are and quantifiers.
There is/ there are και ποσοδείκτες.

Universal quantifiers(alternate).
Οικουμενική ποσοδείκτες(αναπληρωματικό μέλος).

It also determines a domain of discourse that specifies the range of the quantifiers.
Επίσης, καθορίζει ένα πεδίο του λόγου που καθορίζει το εύρος των ποσοδεικτών.

Existential quantifiers(alternate).
Υπαρξιακοί ποσοδείκτες(αναπληρωματικό μέλος).

Without any such logical operators of valence 0, these two constants can only be expressed using quantifiers.
Χωρίς κάποιον από τους λογικούς τελεστές του σθένους 0, αυτές οι δύο σταθερές μπορούν να εκφραστούν μόνο χρησιμοποιώντας ποσοδείκτες.

It freely combines path quantifiers and temporal operators.
Συνδυάζει ελεύθερα ποσοδείκτες μονοπατιών και χρονικούς τελεστές.

Description Introduction to logic and proofs; propositional logic, propositional equivalences, predicates and quantifiers.
Περιγραφή Εισαγωγή εις την λογική και τις αποδείξεις· προτασιακός λογισμός, προτασιακές ισοδυναμίες, κατηγορήματα και ποσοδείκτες.

Thus there are many kinds of quantifiers, two for each sort of variables.
Για αυτό υπάρχουν πολλών ειδών ποσοδείκτες, δύο για κάθε είδος μεταβλητής.

First order logic? First order logic is a philosophical system of reasoning using"if/then" statements as quantifiers or predicates.
Η πρωτογενής λογική είναι ένα φιλοσοφικό σύστημα εκλογίκευσης, που χρησιμοποιεί"αν/τότε" δηλώσεις σαν ποσοδείκτες ή κατηγορήματα.

A few/a little and few/little are quantifiers which mean some/enough or not enough.
Τα a few/a little και few/little είναι ποσοδείκτες που σημαίνουν μερικά/αρκετά ή μη αρκετά.

Quantifiers: Tarski explicitly discusses only monadic quantifiers and points out that all such numerical quantifiers are admitted under his proposal.
Ποσοδείκτες: Ο Τάρσκι συζητά ρητά μόνο για μοναδιαίους ποσοδείκτες και επισημαίνει ότι όλοι αυτοί οι αριθμητικοί ποσοδείκτες γίνονται αποδεκτοί υπό την πρόταση του.

Not all of these symbols are required-only one of the quantifiers, negation and conjunction, variables, brackets and equality suffice.
Μόνο ένα από τους ποσοδείκτες, την άρνηση και τη σύζευξη, τις μεταβλητές, τις αγκύλες και την ισότητα αρκούν.

Its syntax involves only finite expressions as well-formed formulas, while its semantics are characterized by the limitation of all quantifiers to a fixed domain of discourse.
Η σύνταξή της περιέχει μόνο πεπερασμένες εκφράσεις ως καλά ορισμένες προτάσεις, ενώ η σημασιολογία της χαρακτηρίζονται από τον περιορισμό όλων των ποσοδεικτών σε κάποιο συγκεκριμένο πεδίo.

He denies that first-order quantifiers and singular terms are devices of ontological commitment.
Ορισμένοι φιλόσοφοι αρνούνται ότι ενικοί όροι και οι ποσοδείκτες πρώτης τάξης συνεπάγονται αυτόματα οντολογικές δεσμεύσεις.

While Tarski does not enter into the issue, it is also clear that polyadic quantifiers are admitted under the proposal.
Είναι επίσης φανερό ότι οι πολυαδικοί ποσοδείκτες περιλαμβάνονται υπό την πρόταση του Τάρσκι, αν και ο ίδιος δεν μπήκε περαιτέρω στο θέμα.

Only the ranges of quantifiers over second-order variables differ in the two types of semantics(Väänänen 2001).
Μόνο οι σειρές των ποσοδεικτών των μεταβλητών δεύτερης τάξης διαφέρουν ανάμεσα στους δυο τύπους σημασιολογίας(Väänänen 2001).

A consequence is that all types can be written in a form that places all quantifiers at the outermost(prenex) position.
Μία συνέπεια αυτού είναι ότι όλοι οι τύποι μπορούν να γραφούν σε μια μορφή στην οποία όλοι οι ποσοδείκτες βρίσκονται στην πιο εξωτερική(prenex) θέση.

It provides an account of quantifiers general enough to express a wide set of arguments occurring in natural language.
Η κατηγορηματική λογική παρέχει έναν απολογισμό από ποσοδείκτες αρκετά γενικούς ώστε να εκφράσουν ένα ευρύ σύνολο από επιχειρήματα που εμφανίζονται στη φυσική γλώσσα.

A Σ 1 1{\displaystyle\Sigma_{1}^{1}}(existential second-order) formula is one additionally having some existential quantifiers over second order variables, i.e.∃ R 0….
Μια Σ 1 1{\displaystyle\Sigma_{1}^{1}}(υπαρκτή δεύτερης τάξης) μέθοδος είναι ακόμα μια που έχει κάποιους υπαρξιακούς ποσοδείκτες πάνω σε μεταβλητές δεύτερης τάξης, π.χ. ∃ R 0….

Amongst other issues, Frege was the first to use quantifiers(for each,” there exists”) and to separate objects from predicates.
Μεταξύ άλλων, ο Φρέγκε ήταν ο πρώτος που χρησιμοποίησε ποσοδείκτες(«για κάθε»,«υπάρχει») και ο πρώτος που διέκρινε μεταξύ αντικειμένων και κατηγορημάτων.

There are three ways of eliminating quantified variables from first-order logic that do not involve replacing quantifiers with other variable binding term operators.
Υπάρχουν τρεις τρόποι για να εξαλειφθούν οι μεταβλητές των ποσοδεικτών από τη λογική πρώτου βαθμού, που δεν περιλαμβάνουν την αντικατάσταση των ποσοδεικτών με άλλους δεσμευμένους τελεστές.

Quantitative determiners or quantifiers are used to indicate the quantity of something{see Quantitative Determiners, A1 Level}.
Quantitative determiners ή quantifiers χρησιμοποιούνται για να υποδείξουν την ποσότητα ενός πράγματος. EXTRA: Quantitative Determiners= Ποσοτικοί Προσδιοριστές.

A common convention is:¬{\displaystyle\lnot} is evaluated first∧{\displaystyle\land} and∨{\displaystyle\lor} are evaluated next Quantifiers are evaluated next→{\displaystyle\to} is evaluated last.
Μια κοινή παραδοχή είναι: ¬{\displaystyle\lnot} αξιολογείται πρώτη ∧{\displaystyle\land} και ∨{\displaystyle\lor} αξιολογούνται μετά Οι ποσοδείκτες στη συνέχεια→{\displaystyle\to} αξιολογείται τελευταία.

Putnam found that mathematicians and logicians learned about the logic of quantifiers through the independent work of Peirce and Mitchell, particularly through Peirce's"On the Algebra of Logic: A Contribution to the Philosophy of Notation"(1885), published in the premier American mathematical journal of the day, and cited by Peano and Schröder, among others, who ignored Frege.
Η Putnam βρήκε πως οι μαθηματικοί και οι επιστήμονες της λογικής ενημερώθηκαν για την λογική των ποσοδεικτών, μέσα από την ανεξάρτητη εργασία των Περς και Μίτσελ και ιδιαίτερα από το άρθρο του Περς"On the Algebra of Logic: A Contribution to the Philosophy of Notation"(1885), το οποίο δημοσιεύτηκε στο τότε κορυφαίο μαθηματικό περιοδικό της εποχής και στο οποίο αναφέρθηκαν ανάμεσα στους άλλους ο Schröder και ο Πεανό, που αγνοούσαν τον Φρέγκε.

As defined above, Def(X) is the set of subsets of X defined by Δ0 formulas(that is, formulas of set theory containing only bounded quantifiers) that use as parameters only X and its elements.
Όπως έχει προαναφερθεί, το Def(X) είναι ένα σύνολο υποσυνόλων του X που ορίζεται από Δ0 τύπους(δηλαδή, τύποι της θεωρίας συνόλων που περιέχουν μόνο οριοθετημένους ποσοδείκτες) που χρησιμοποιούν ως παραμέτρους μόνο το X και τα στοιχεία του.

Among other things, Frege was the first to use quantifiers(“for every,”“there exists”) and to separate objects from predicates.
Μεταξύ άλλων, ο Φρέγκε ήταν ο πρώτος που χρησιμοποίησε ποσοδείκτες(«για κάθε»,«υπάρχει») και ο πρώτος που διέκρινε μεταξύ αντικειμένων και κατηγορημάτων.

Tarski and Givant(1987) showed that the fragment of first-order logic that has no atomic sentence lying in the scope of more than three quantifiers has the same expressive power as relation algebra.
Οι Tarski και Givant(1987) έδειξαν ότι το τμήμα της λογικής πρώτου βαθμού δεν έχει ατομικές προτάσεις που βρίσκονται στο πεδίο των ποσοδεικτών που είναι περισσότεροι από τρεις, έχει την ίδια εκφραστική δύναμη με τη άλγεβρα των σχέσεων.

There are three ways of eliminating quantified variables from first-order logic that do not involve replacing quantifiers with other variable binding term operators: Cylindric algebra, by Alfred Tarski and his coworkers; Polyadic algebra, by Paul Halmos; Predicate functor logic, mainly due to Willard Quine.
Υπάρχουν τρεις τρόποι για να εξαλειφθούν οι μεταβλητές των ποσοδεικτών από τη λογική πρώτου βαθμού, που δεν περιλαμβάνουν την αντικατάσταση των ποσοδεικτών με άλλους δεσμευμένους τελεστές: Κυλινδρική Άλγεβρα, από τον Alfred Tarski και τους συνεργάτες του Πολυαδική Άλγεβρα, από τον Paul Halmos Κατηγορηματική Συναρτησιακή Λογική, κυρίως χάρη στον Willard Quine.