ποσοδείκτης oor Russies

ποσοδείκτης

Vertalings in die woordeboek Grieks - Russies

квантификатор

naamwoord

voorbeelde

Η εισαγωγή των ποσοδεικτών, που χρειάζονταν για την επίλυση του προβλήματος της πολλαπλής γενικότητας (problem of multiple generality), απέκλεισε την ανάλυση τύπου υποκείμενο-πρόταση στην οποία βασιζόταν ο Αριστοτέλης, αν και υπάρχει πάλι ενδιαφέρον σχετικά με την term logic, που προσπαθεί να βρει λογισμούς που να συμφωνούν με τη συλλογιστική του Αριστοτέλη αλλά να έχουν τη γενικότητα των σύγχρονων λογικών που βασίζονται στους ποσοδείκτες.
Введение кванторов должно было решить проблему общности множеств, не решаемую в рамках субъектно-предикатного анализа Аристотеля, хотя в логике термов появляется новый интерес, а именно попытки построить исчисление в духе силлогистики Аристотеля, но используя свойства общности кванторов из современной логики.

Η πρωτογενής λογική είναι ένα φιλοσοφικό σύστημα εκλογίκευσης, που χρησιμοποιεί " αν / τότε " δηλώσεις σαν ποσοδείκτες ή κατηγορήματα.
Логика первого порядка это философская система рассуждений использующая утверждения типа " если / то " как квантификаторы или сказуемое

Μία συνέπεια αυτού είναι ότι όλοι οι τύποι μπορούν να γραφούν σε μια μορφή στην οποία όλοι οι ποσοδείκτες βρίσκονται στην πιο εξωτερική (prenex) θέση.
Как следствие, все типы могут быть записаны в форме, когда все кванторы переменных типа вынесены в самую внешнюю (пренексную) позицию, что и называется пренексной нормальной формой.