以下以A代表全称量词，E代表存在量词
1、前提：Ax(F(x)→G(x))，Ex(H(x)∧F(x))
结论：Ex(H(x)∧G(x))
证明：
（1）Ex(H(x)∧F(x)) 前提引入
（2）H(c)∧F(c) (1)EI
（3）H(c) （2）化简
（4）F(c) （2）化简
（5）Ax(F(x)→G(x)) 前提引入
（6）F(c)→G(c) （5）UI
（7）G(c) （4）（6)假言推理
（8）H(c)∧G(c) （3）（7）合取
（9）Ex(H(x)∧G(x)) （8）EG
2、f(4)=<5,4>，f(-3)=<-2,3>
f是单射。因为若f(x)=f(y)，则
f不是满射。因为|x|≥0，所以Z×Z中的有序对的第二元素若为负数，则在Z中没有元素与其对应
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024