几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式2. 在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,( ). A. x,y都是约束变元 B. x,y都是自由变元 C. x是
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/01 07:33:19
![几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式2. 在谓词公式(](/uploads/image/z/6901294-22-4.jpg?t=%E5%87%A0%E4%B8%AA%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E9%80%89%E6%8B%A9%E9%A2%98%EF%BC%9A1.+%E5%91%BD%E9%A2%98%E5%85%AC%E5%BC%8F%28P%26%23218%3BQ%29%26%23174%3BQ%E4%B8%BA%28+%29+A.+%E7%9F%9B%E7%9B%BE%E5%BC%8F+B.+%E5%8F%AF%E6%BB%A1%E8%B6%B3%E5%BC%8F+C.+%E9%87%8D%E8%A8%80%E5%BC%8F+D.+%E5%90%88%E5%8F%96%E8%8C%83%E5%BC%8F2.++%E5%9C%A8%E8%B0%93%E8%AF%8D%E5%85%AC%E5%BC%8F%28%22x%29%28A%28x%29%E2%86%92B%28x%29%26%23218%3BC%28x%2Cy%29%29%E4%B8%AD%2C%EF%BC%88++%EF%BC%89%EF%BC%8E++A.+x%2Cy%E9%83%BD%E6%98%AF%E7%BA%A6%E6%9D%9F%E5%8F%98%E5%85%83+B.+x%2Cy%E9%83%BD%E6%98%AF%E8%87%AA%E7%94%B1%E5%8F%98%E5%85%83+C.+x%E6%98%AF)
几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式2. 在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,( ). A. x,y都是约束变元 B. x,y都是自由变元 C. x是
几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式
2. 在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,( ).
A. x,y都是约束变元
B. x,y都是自由变元
C. x是约束变元,y都是自由变元
D. x是自由变元,y都是约束变元
3. 下列等价公式成立的为( ).
A. ØPÙØQÛPÚQ
B. P®(ØQ®P) ÛØP®(P®Q)
C. Q®(PÚQ) ÛØQÙ(PÚQ)
D. ØPÚ(PÙQ) ÛQ
5. 命题公式(PÚQ)®R的析取范式是 ( )
A. Ø(PÚQ)ÚR
B. (PÙQ)ÚR
C. (PÚQ)ÚR
D. (ØPÙØQ)ÚR
9. 命题公式P®Q的主合取范式是( ).
A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ)
B. ØPÙQ
C. ØPÚQ
D. PÚØQ
几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式2. 在谓词公式("x)(A(x)→B(x)ÚC(x,y))中,( ). A. x,y都是约束变元 B. x,y都是自由变元 C. x是
你重新再问一次吧,然后不用悬赏,提交以前把符号改过来就行
ferferwerfeew
满足式
dffddf