根据论证方式所使用推理形式的不同，论证分为（）和归纳论证。