离散数学关于一阶逻辑证明 255

只有通过复试才能被录取,参加复试的未必都能通过,因此参加复试的未必录取... 只有通过复试才能被录取,参加复试的未必都能通过,因此参加复试的未必录取 展开
 我来答
robin_2006
2019-03-05 · TA获得超过3.9万个赞
知道大有可为答主
回答量:1.3万
采纳率:79%
帮助的人:8349万
展开全部
说明:以下以A代表全称量词,E代表存在量词。
设个体域为全体学生,令F(x): x通过复试,G(x): x被录取,H(x): x参加复试。
条件:Ax(G(x)→F(x)),Ex(H(x)∧┐F(x))
结论:Ex(H(x)∧┐G(x))
证明:
①Ex(H(x)∧┐F(x))
②H(c)∧┐F(c)
③H(c)
④┐F(c)
⑤Ax(G(x)→F(x))
⑥G(c)→F(c)
⑦┐G(c)
⑧H(c)∧┐G(c)
⑨Ex(H(x)∧┐G(x))
富港检测技术(东莞)有限公司_
2024-04-02 广告
正弦振动多用于找出产品设计或包装设计的脆弱点。看在哪一个具体频率点响应最大(共振点);正弦振动在任一瞬间只包含一种频率的振动,而随机振动在任一瞬间包含频谱范围内的各种频率的振动。由于随机振动包含频谱内所有的频率,所以样品上的共振点会同时激发... 点击进入详情页
本回答由富港检测技术(东莞)有限公司_提供
暗送秋浡365
2019-03-05 · TA获得超过4660个赞
知道大有可为答主
回答量:6401
采纳率:78%
帮助的人:301万
展开全部
这不就是合取消去规则吗,p&q→p,或者p&q→q
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式