几个离散数学选择题：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是 离散数学中P->(Q->R)是命题公式吗中P->(Q->R)是命题公式吗 为什么P→Q不是公式呢?（离散数学中的命题）如题 [离散数学]推导如下命题公式是等价的.1.(P^Q)→(~Pv(~PvQ))~PvQ2.(P→Q)^(R→Q)PvR→Q 《离散数学》3试题一、选择题（每小题 2 分,共 20 分）1、使命题公式p→(p∧q)为假的赋值是 ( )A.10 B.01 C.00 D.112、令p：今天下雪了,q：路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为 命题公式可以有等号吗（离散数学） 离散数学中：如果小王来,则小李去,翻译成命题公式 离散数学问题,1、求命题公式(P∨Q)→(R∨Q) 的主析取范式、主合取范式 有谁知道怎么求的?望赐教 证明┐（P----Q）(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式离散数学的题证明┐（P↔Q）(P∧┐Q)∨(┐P∧Q)，其中P、Q为命题公式 离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式.请给出证明过程. 【离散数学】命题公式的类型分为哪几类呀?是不是可满足式,矛盾式什么的? 封闭的公式在任何解释下都变成命题 （高离散数学） 离散数学 命题p和q什么条件下,排斥或 也可以写成 相容或. 离散数学2个命题变元为什么可以构造2的4次方个不等价的命题公式 离散数学怎么用数学归纳法证明“含n个命题变元的命题公式,共有2n个指派.” 离散数学合式公式 离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r 离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型（1）﹃（p→q）∧ q （2）（（p→q）∧ p）→q （3）（p→q）∧ q 以上是计算题,如果有数学专家或者老师麻烦解