• 2022-06-08
    用等值演算法判断推理是否正确:若今天不是星期六,明天就不是星期一,明天是星期一,所以今天是星期六