知到答案离散数学智慧树答案_2022年

第十五章

以下命题用谓词符号化错误的是( )
答案:“If Zhangming is higher than Limin and Limin is higher than Zhaoliang, then Zhangming is higher than Zhaoliang”：H(x，y)：x is higher than y；a：Zhangming； b：Limin； c：Zhaoliang；则命题符号化为：
设I为如下一个解释：D={a，b}；P(a,a)=1，P(a,b)=0，P(b,a)=0，P(b,b)=1以下公式在I下真值为0的是( )谓词公式的否定式为( )以下命题用谓词符号化正确的有( )命题逻辑足以完备地表达任何推理过程。（ ）