Question

一个数学推理问题，有什么解决方法吗？

Answer 1

方法有两种：

1，常规推导方法，从公理或已知的命题推导出该命题成立，即证明该命题是已知公理的子命题。要点是要理清命题以及给出条件的含义，找出该命题的等效含义和条件，最好是转化为数值等式关系，然后符号演算，这种演算方法通用性强，在一些特殊情况下也转化为直观的几何关系，通过直观的几何关系证明，但几何的方法需要灵感，不通用。

2，归谬方法，假设该命题不成立，推导出矛盾的命题，从而证明该命题成立。适用的场合比较有限。

归谬方法

一、从直接反驳和间接反驳的定义以及从归谬法的反驳特点来看，归谬法只能归属于直接反驳。

二、在反驳方法中，归谬法究竟属于直接反驳还是间接反驳，目前的逻辑学界还存在着较为严重的分歧。

三、区分类比法与归谬法的同异，目的在于在论证中更好地运用这两种方法，使论证更具有说服力。

四、而“穷竭法”适用范围更广，是一个有限过程，结合归谬法可以推论预期的结果。