• 2022-06-05
    利用消解原理证明下列推理的正确性:如果张三努力工作,那么李四或王五感到高兴;如果李四感到高兴,那么张三不努力工作;如果刘六高兴,那么王五不高兴.所以,如果张三努力工作,则刘六不高兴.