逻辑学吧 关注:38,145贴子:144,737
  • 19回复贴,共1

问一个数学基础的逻辑问题

只看楼主收藏回复

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


1楼2012-07-24 13:51回复
    请LZ搞清楚这些情况。。。汗:
    存在X是方程P的解
    存在X是方程P的唯一解
    证明A是方程P的解
    证明A是方程P的唯一解


    IP属地:广东2楼2012-07-24 14:20
    收起回复
      2025-05-18 06:46:02
      广告
      莫非就是传说中一元二次方程有两个解,然后一个为负不合题意,舍去。然后验算了才知道这题是唯一解?是这个意思么?


      3楼2012-07-24 14:36
      收起回复
        如果出现增根就要舍去,比如说会导致分母为0的根就要舍去。


        4楼2012-07-24 19:51
        回复
          A等于B
          A不等于B
          A不等于A
          很哲学~~


          5楼2012-07-25 03:23
          回复
            你只要分析“x是方程组A唯一可能的解”这句话的意思就知道答案了。
            按照我的理解,“x是方程组A唯一可能的解” 当且仅当 “如果方程组A有解,那么x是方程组的解。且如果y不等于x,那么y不是方程组A的解”。
            所以如果你事先知道方程组是有解的话,那么发现唯一可能的解x,x就是方程组的解。不用代入回去验证。
            


            6楼2012-07-25 16:44
            回复
              引用楼主:“比如 我已经知道一个方程(组)必然有解,然后我通过推导求出了唯一可能的解”——虽然说了方程组必然有解,但是没有说必然有唯一解。就算你推导出的结果是一解,你的验证并不能证明那是唯一解。
              只要推导的前提是真实的,推导所遵循的依据是正确的,推导中前后每步之间是必然而非或然关系,那么得出的结论或结果,就没有必要去验证。
              


              7楼2012-07-26 08:41
              回复
                引用楼主“从常理来说,已知方程有解,而推导得出的可能解只有1个,那么这个解就必然是方程的解,因为如果不是的话,就与方程有解矛盾。但是我不代回去验证,又怎么知道这个矛盾是否存在呢?就像悖论那样的东西。”
                ——————已知方程有解,若推导过程无误,而推导得出的可能解只有1个,那么这个解就必然是方程的解。只要那个已知本身是真实的而不是虚假的,前一句话就是正确的。————另外一点,你了不了解一个事情,并不影响那个事情本身的真实性。人并不是只有亲身尝试才足以去相信。


                9楼2012-07-26 08:48
                回复
                  2025-05-18 06:40:02
                  广告
                  推导是推理,已知到未知
                  验证是论证,疑惑到可信


                  IP属地:广东11楼2012-07-26 21:41
                  回复