当前位置 :
【离散数学中环算几条边K4有几边几面构造下面推理证明(1)前提:┑(p∧q),┑q∧r,┑r结论:┑p(2)前提:p->(q->s),q,p∨┑r结论:r->s(3)前提:q->p,qs,st,t∧r结论:p∧q∧r∧s求下列前束范式(1)┑存在F】
 更新时间:2024-04-24 05:05:00
1人问答
问题描述:

离散数学中环算几条边

K4有几边几面

构造下面推理证明

(1)前提:┑(p∧q),┑q∧r,┑r

结论:┑p

(2)前提:p->(q->s),q,p∨┑r

结论:r->s

(3)前提:q->p,qs,st,t∧r

结论:p∧q∧r∧s

求下列前束范式

(1)┑存在F(x)->任意yG(x,y)

(2)┑(任意xF(x,y)∨存在yG(x,y))

陈白尘回答:
  1、22、6,43、(1)题目错误(2)附加前提1r附加前提引入2p∨┑r3P12析取三段论4p->(q->s)5q->s6q7s56假言推理(3)1t∧r2t1化简3st4t→s4化简5s34假言推理6qs7s→q6化简8q57假言推理9q->p10p8...
最新更新
查询网(393r.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:  联系方式:

Copyright©2009-2021 查询网 393r.com 版权所有 闽ICP备2021002823号-6