离散数学，用等值公式求证1.7 判断下列命题公式的类型,-|||-(1) arrow (pVq(V)_(r)).-|||-(2) (parrow -p)arrow -p.-|||-(3) arrow (parrow q)Nq.-|||-(4) (parrow q)arrow (-qarrow p).-|||-5) (-p-q)arrow (qarrow p).-|||-(6) (plambda -p)Leftrightarrow q.-|||-(7) (pv-p)arrow ((qh-q)A-r).-|||-(8) (pLeftrightarrow q)arrow arrow (pVq).-|||-(9) ((parrow q)lambda (qarrow r))arrow (parrow r)-|||-(10) ((pVq)arrow r)arrow s.

离散数学，等值演算法判断命题公式的类型8、9两个小题，死活不知道怎么化了，求大神帮忙1.7判断下列命题公式的类型,方法不限.-|||-(1) arrow (p(

8.求下列公式的主合取范式,再用主合取范式求主析取范式.-|||-(1) (plambda q)arrow q-|||-(2) (parrow q)arrow

4.用等值演算法证明下列等值式.-|||-(1) Leftrightarrow (plambda q)V(plambda -q)-|||-(2) ((parro

‎公式(forall x)[ P(x)在Q(x,A)arrow (exists y)[ R(x,y)cup S(y)] ] 中,(forall x)[ P(x)

1.试证下面的等价式:-|||-(1) (-PA)(-QAR))cup (QAR)cup (PAR)=R;-|||-(2) arrow (Qarrow P)=7

谓词公式forall x)(P(x)arrow R(x,y))cap Q(x,y)可换名为forall x)(P(x)arrow R(x,y))cap Q(x,

设前提集合 Gamma = P vee Q, P arrow R, Q arrow R，结论 H = R。证明 Gamma Rightarrow H。设前提集合

1.12 求下列命题公式的主析取范式、主合取范式、成真赋值、成假赋值.-|||-(1) (pV(q(N)_(r)))arrow (pNqNr).-|||-(2)

28.一液相分解反应在平推流反应器中等温进行:-|||-arrow 2P (r)_(p)=(k)_(1)(C)_(A)-|||-arrow S rs=(k)

反应(O)_(3)arrow 3(O)_(2),其反应速度方程式为(O)_(3)arrow 3(O)_(2)或者(O)_(3)arrow 3(O)_(2),速度