• 2022-06-14
    在自然推理系统P中,构造下面推理的证明.小王学过英语或日语.如果小王学过英语,则他去过英国;如果他去过英国,他也去过日本,所以小王学过日语或去过日本.
  • 举一反三