欢迎来到易学考试网
易学考试官网
登录
注册
首页
卫生资格(中初级)
医学高级职称
执业医师考试
执业药师考试
医院三基考试
全部科目
>
大学试题
>
理学
>
数学
>
离散数学
搜题找答案
问答题
简答题
试用假设推理证明下面的定理:
¬∃x(F(x)∧H(x))∧∀x(G(x)→H(x))→∀x(G(x)→¬F(x)).
【参考答案】
点击查看答案
上一题
目录
下一题
相关考题
问答题
设有集合A和A上的关系ρ,对所有的ai,aj,ak∈A,若由aiρaj和ajρak可推得akρai,则称关系ρ是循环的,试证明当且仅当ρ是等价关系时,ρ是自反且循环的。
问答题
证明成形括号串的左右括号个数相等。
问答题
试用假设推理证明下面的定理: x(C(x)→W(x)∧R(x))∧x(C(x)∧Q(x))→x(Q(x)∧R(x)).
关注
顶部
微信扫一扫,加关注免费搜题