( )是指从一般到个别，从逻辑或理论上预期的模式到观察检验预期的模式是否确实存在的论证方法。