Je was op zoek naar: predicate logic (Engels - Grieks)

predicate logic
κατηγορηματικός λογισμός

logic
Λογική

second-order predicate logic
λογική δευτέρου βαθμού

predicate offence
κύριο αδίκημα

invalid predicate `'
το κατηγόρημα «» δεν είναι έγκυρο

predicate calculus language
μη διαδικασιακή γλώσσα

unexpected extra predicate ''
μη αναμενόμενο extra κατηγόρημα «»

the predicate null tests for the value nil.
Το κατηγόρημα null ελέγχει για την τιμή nil.

offence predicate to illegal money laundering activities
κύριο έγκλημα από το οποίο προέρχονται οι νομιμοποιούμενες πρόσοδοι

invalid predicate -context: selinux is not enabled.
μη έγκυρο κατηγόρημα -context: selinux δεν είναι ενεργοποιημένο.

a positional predicate must evaluate to a single numeric value.
Ένα κατηγορηματικό κατά θέση πρέπει να αναλύεται σε μια αριθμητική τιμή.

* formal predicate calculus, contains a systematic formal development along the lines of alternative calculus* "forall x: an introduction to formal logic", by p.d.
* formal predicate calculus, contains a systematic formal development along the lines of alternative calculus* "forall x: an introduction to formal logic", by p.d.

the course is entitled "logic, computation and set theory" and covers ordinals and cardinals, posets and zorn's lemma, propositional logic, predicate logic, set theory and consistency issues related to zfc and other set theories.
the course is entitled "logic, computation and set theory" and covers ordinals and cardinals, posets and zorn's lemma, propositional logic, predicate logic, set theory and consistency issues related to zfc and other set theories.

r5rs scheme provides the predicates codice_97 and codice_98.
Η r5rs scheme παρέχει τις codice_92 και codice_93.