直推法的定义是

Searching…