前真推后真”和“后假推前假”是充分条件假言推理的两种有效式。“前真推后真”是指由肯定假言前提的前件,可以推出对假言前提后件的肯定;“后假推前假”是指由对假言前提后件的否定,可以推出对假言前提前件的否定。
比如:“如果天下雨,那么地就会湿;天下雨了;所以,地湿了。”这就是一个““前真推后真”的例子。
“如果天下雨,那么地就会湿;地没有湿;所以,天没有下雨。”这就是一个“后假推前假”的例子。
前真推后真”和“后假推前假”是充分条件假言推理的两种有效式。“前真推后真”是指由肯定假言前提的前件,可以推出对假言前提后件的肯定;“后假推前假”是指由对假言前提后件的否定,可以推出对假言前提前件的否定。
比如:“如果天下雨,那么地就会湿;天下雨了;所以,地湿了。”这就是一个““前真推后真”的例子。
“如果天下雨,那么地就会湿;地没有湿;所以,天没有下雨。”这就是一个“后假推前假”的例子。