Popular rules of inference in propositional logic include "modus ponens", "modus tollens", and contraposition.
Εξέχοντα παραδείγματα συμπερασματικών κανόνων στην προτασιακή λογική, είναι οι κανόνες του modus ponens και modus tollens.