计算机数学基础—复习题

数理逻辑练习一、 证明下而推理前提：p-^Cq-* (sAr)),n sAp结论：—前提：Vx(F(x)VG(x)), -| 3x(G(x)AR(x)), VxR(x)结论:3 x(F(x))前提：V