From professional translators, enterprises, web pages and freely available translation repositories.
popular rules of inference in propositional logic include "modus ponens", "modus tollens", and contraposition.
Εξέχοντα παραδείγματα συμπερασματικών κανόνων στην προτασιακή λογική, είναι οι κανόνες του modus ponens και modus tollens.
the simplest valid argument is modus ponens, one instance of which is the following set of propositions::formula_5this is a set of three propositions, each line is a proposition, and the last follows from the rest.
Το απλούστερο έγκυρο επιχείρημα είναι ταmodus ponens, ένα παράδειγμα των οποίων είναι το ακόλουθο σύνολο προτάσεων::formula_5Αυτό είναι ένα σύνολο τριών προτάσεων, όπου κάθε γραμμή είναι μια πρόταση, και η τελευταία πρόταση προκύπτει από τις υπόλοιπες.