From professional translators, enterprises, web pages and freely available translation repositories.
some examples of other well-known calculi are propositional calculus, calculus of variations, lambda calculus, and process calculus.
Μερικά παραδείγματα άλλων γνωστών λογισμών είναι ο προτασιακός λογισμός (propositional calculus), ο λογισμός των μεταβολών (calculus of variations) και ο Λογισμός λάμδα.
popular rules of inference in propositional logic include "modus ponens", "modus tollens", and contraposition.
Εξέχοντα παραδείγματα συμπερασματικών κανόνων στην προτασιακή λογική, είναι οι κανόνες του modus ponens και modus tollens.
it should be recalled that the spoken language, in forms very close to our propositional language, has existed for at least thirty thousand years, whereas the written language only emerged three or four thousand years ago.
Ας θυμηθούμε ότι ο ομιλούμενος λόγος, υπό μορφές πολύ κοντινές με τον προτασιακό μας λόγο, υπάρχει εδώ και τριάντα χιλιάδες χρόνια, ενώ ο γραπτός λόγος φαίνεται πως δεν εμφανίσθηκε παρά μόνο πριν από τρεις ή τέσσερις χιλιάδες χρόνια.
the concept of creating a propositional calculus for quantum logic was first outlined in a short section in von neumann's 1932 work, but in 1936, the need for the new propositional calculus was demonstrated through several proofs.
Η ιδέα της δημιουργίας ενός προτασιακού λογισμού για την κβαντική λογική ήταν η πρώτη που περιγράφεται σε ένα μικρό τμήμα το 1932 το έργο του φον Νόιμαν.Αλλά το 1936, η ανάγκη για το νέο προτασιακό λογισμό αποδείχθηκε μέσω διάφορων αποδείξεων.
===related works=====external links==* klement, kevin c. (2006), "propositional logic", in james fieser and bradley dowden (eds.
* klement, kevin c. (2006), "propositional logic", in james fieser and bradley dowden (eds.
