比如 我已经知道一个方程(组)必然有解,然后我通过推导求出了唯一可能的解,那我能说这个解就是原方程(组)的解吗?还是说必须代入原方程(组)来验证?
从常理来说,已知方程有解,而推导得出的可能解只有1个,那么这个解就必然是方程的解,因为如果不是的话,就与方程有解矛盾。但是我不代回去验证,又怎么知道这个矛盾是否存在呢?就像悖论那样的东西。
我发现这个问题引申开来就变成另一个问题:怎么判断一个命题会不会导致悖论。
从常理来说,已知方程有解,而推导得出的可能解只有1个,那么这个解就必然是方程的解,因为如果不是的话,就与方程有解矛盾。但是我不代回去验证,又怎么知道这个矛盾是否存在呢?就像悖论那样的东西。
我发现这个问题引申开来就变成另一个问题:怎么判断一个命题会不会导致悖论。