logique du second ordre oor Grieks

logique du second ordre

Vertalings in die woordeboek Frans - Grieks

Λογική δευτέρου βαθμού

étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées

voorbeelde

À travers la correspondance de Curry-Howard, le système F est en effet isomorphe à la logique minimale du second ordre.
Με τον ισομορφισμό Curry–Howard το Σύστημα F αντιστοιχίζεται στην διαισθητική λογική δευτέρας τάξης με μόνη την καθολική ποσόδειξη.

Du point de vue du droit communautaire, cela soulève deux ordres de problèmes qui se présentent à la Cour selon une progression logique: le second problème se pose, ou non, selon la solution apportée au premier, ainsi que nous l'expliquerons plus loin.
Από την άποψη του κοινοτικού δικαίου ανακύπτουν δύο προβλήματα, τα οποία το Δικαστήριο καλείται να επιλύσει διαδοχικά, καθόσον υφίσταται ορισμένη λογική σχέση μεταξύ τους. Το αν θα τεθεί το δεύτερο πρόβλημα εξαρτάται δηλαδή από την λύση που θα δοθεί στο πρώτο, όπως θα εξηγήσω παρακάτω.

Enfin, il me semble plus logique d’inverser l’ordre des réponses aux questions préjudicielles, la première question (sur les critères de fixation du montant de la sanction) supposant une réponse affirmative à la seconde (relative à la compétence de l’État membre pour instaurer une telle sanction).
Τέλος, είναι, κατά την άποψή μου, πιο λογικό να αντιστραφεί η σειρά απαντήσεως των προδικαστικών ερωτημάτων, καθόσον το πρώτο ερώτημα (σχετικά με τους περιορισμούς στο ποσό του προστίμου) προϋποθέτει καταφατική απάντηση στο δεύτερο (σχετικά με την εξουσία του κράτους μέλους να θεσπίσει την κύρωση αυτή).

Dès lors, il convient, dans un souci d' ordre logique, d' examiner, en premier lieu, le moyen présenté à titre subsidiaire et tiré de l' absence de violation de l' article 85, paragraphe 1, du traité et, en second lieu, les moyens concernant l' application de l' article 85, paragraphe 3.
Επομένως, προκειμένου να ακολουθηθεί λογική σειρά, πρέπει να εξετασθούν, πρώτον, ο προβαλλόμενος ως επικουρικός λόγος ακυρώσεως που αντλείται από την έλλειψη παραβάσεως του άρθρου 85, παράγραφος 1, της Συνθήκης και, δεύτερον, οι λόγοι ακυρώσεως που αφορούν την εφαρμογή του άρθρου 85, παράγραφος 3.

J’ai décidé de répondre aux questions préjudicielles dans l’ordre inverse de celui dans lequel elles ont été posées, parce que je considère qu’il est plus logique dans cette affaire de discuter en premier du principe d’équivalence, bien qu’il s’agisse de la seconde question déférée par la juridiction nationale.
Θα αναλύσω τα προδικαστικά ερωτήματα με την αντίστροφη σειρά αφού νομίζω ότι είναι πιο λογικό στην προκειμένη περίπτωση να εξεταστεί πρώτα η αρχή της ισοδυναμίας, αν και αποτελεί το αντικείμενο του δεύτερου ερωτήματος που υπέβαλε το εθνικό δικαστήριο.