问题 更新时间2023/4/3 12:59:00 前提: 彐xF(x)→Аy(F(y)→R(y))，彐xF(x) 结论：彐xR(x) 答案 登录 注册 证明 ① 彐xF(x) 前提引入 ② 彐xF(x)→Аy(F(y)→R(y)) 前提引入 ③ F(c) ① ES ④ Аy(F(y)→R(y)) ①② 假言推理 ⑤ F(c)→R(c) ④ US ⑥ R(c) ③⑤ 假言推理 ⑦ 彐xR(x) ⑥ EG 出自：其他 >> 西安石油大学-离散数学
问题 更新时间2023/4/3 12:59:00
搜题
搜题
答案
