• 2022-06-05
    对下面的论证构造一个证明,给出所有必须增加的断言,指出用于每一步的推理规则:如果李敏来通信工程学院、若王军不生病,则王军-定去看望李敏。如果李敏出差到南京,那么李敏一定来通信工程学院。王军没有生病。所以,如果李敏出差到南京,王军- -定去看望李敏。
  • 举一反三