Given a complete set of axioms (see below for one such set), modus ponens is sufficient to prove all other argument forms in propositional logic, thus they may be considered to be a derivative.
Λαμβάνοντας υπόψη ένα πλήρες σύνολο αξιωμάτων (βλέπε παρακάτω για ένα τέτοιο σύνολο),το modus ponens αρκεί για να αποδείξει όλες τις άλλες μορφές επιχείρηματος στην προτασιακή λογική,και έτσι αυτές να θεωρούνται ως παράγωγα.