传递推理:若能由A推出B,且能由B推出C,那么就可断言:由A能够推出C。 亦即是说:A推出B且B推出C则等价于A推出C。
逆否推理:如果从结论的否定出发,能够推得条件的否定,那么就证明原命题成立。也就是说,要证A推出B成立,只要证明非B推出非A成立即可。
时间: 2024-11-06 21:11:18
传递推理:若能由A推出B,且能由B推出C,那么就可断言:由A能够推出C。 亦即是说:A推出B且B推出C则等价于A推出C。
逆否推理:如果从结论的否定出发,能够推得条件的否定,那么就证明原命题成立。也就是说,要证A推出B成立,只要证明非B推出非A成立即可。