Condition: My cat A likes to eat fish. Neighbor's cat B likes to eat fish. Cat c likes to eat fish. Cat d likes to eat fish. ...

Conclusion: Cats like to eat fish.

Deduction:

Condition: Cats like to eat fish. Amy in my family is a cat.

Conclusion: Miao likes to eat fish.

The so-called deductive reasoning of extended data is based on the premise. The process of drawing specific statements or personal conclusions. About deductive reasoning, there are the following definitions:

(1) Deductive reasoning is from general to special reasoning;

(2) It is the inference of the premise implication conclusion;

(3) It is the inference that the premise and conclusion are necessarily related.

Mathematical induction (MI) is a mathematical proof method, which is usually used to prove that a given proposition is valid in the whole (or local) natural number range. Besides natural numbers, generalized mathematical induction can also be used to prove general rational structures, such as trees in set theory. This generalized mathematical induction is applied to the fields of mathematical logic and computer science, and is called structural induction.

Deduction of Reference Hypothesis _ Baidu Encyclopedia