归纳、举例、省略三段论、化归