计算机数学基础—复习题

计算机数学基础一复习题数理逻辑练习一、 证明下面推理前提：p—(q—(sAr)),sAp 结论：？q前提：?x (F(x) VG(x)), -| ?x(G(x) AR(x)), ?xR (x) 结论：