欢迎来到求知题库网 求知题库官网
logo
搜索
全部科目 > 大学试题 > 理学 > 数学 > 离散数学

问答题

计算题

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

    【参考答案】

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

    相关考题

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

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

    All Rights Reserved 版权所有©求知题库网库(csqiuzhi.com)

    备案号：湘ICP备14005140号-1

    经营许可证号：湘B2-20140064

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

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