When we base the proof of a proposition on a number of similar cases, this is induction in dialectic, example in rhetoric; when it is shown that, certain propositions being true, a further and quite distinct proposition must also be true in consequence, whether universally or for the most part this is called deduction in dialectic, enthymeme in rhetoric.