• 2022-06-10
    在自然推理系统P中,构造下面推理的证明.如果李淑敏是理科生,她一定学微积分;如果她不是文科学生,她一定是理科学生.她没学微积分,所以她是文科生.