display all the ideas for this combination of texts
2 ideas
8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
5395 | Demonstration always relies on the rule that anything implied by a truth is true [Russell] |