欢迎来到易学考试网 易学考试官网
搜索
全部科目 > 大学试题 > 理学 > 数学 > 离散数学

问答题

计算题

在公式（∀x）（P（x）→（Q（x）∨R（x）））∧（∀x）（R（x）→S（x，y））中，试对约束变元进行换名，对自由变元进行代入。

    【参考答案】

    点击查看答案
    上一题 目录 下一题

    相关考题

    微信小程序免费搜题

    All Rights Reserved 版权所有©易学考试网(yxkao.com)

    备案号：湘ICP备2022003000号-3

    微信扫一扫,加关注免费搜题

    微信扫一扫,加关注免费搜题