广东开放大学-离散数学（本）

国开、奥鹏所有的在线答案、离线答案都可在首页进行搜索，搜不到的可以联系客服!所有答案都有!右下角微信扫码可以添加客服微信。

答案已添加至底下文档中，可登录下载完整版。

第一次作业：命题与谓词公式的证明

 （1）请运用演绎法证明下列论断的正确与否。

（2）在自然推理系统中，构造下列推理证明。

前提：（∀x）（F（x）∨ G（x）），（∀x）（¬G（x）∨¬R（x）），（∀x）R（x）

结论：（∀x）F（x）