题目内容
(请给出正确答案)
[多选题]
设A、B为真,X、Y为假,下列命题公式哪些能确定为真()。
A.A∧(X∨Y)
B..A∨(X∧(B∨Y))
C.((A∨B)→Y)→X
D.((B∧X)→Y)→((B→Y)→X)
E.(A∧Y)∨B
查看答案
如果结果不匹配,请 联系老师 获取答案
A.A∧(X∨Y)
B..A∨(X∧(B∨Y))
C.((A∨B)→Y)→X
D.((B∧X)→Y)→((B→Y)→X)
E.(A∧Y)∨B
A.可判定性,即算法在有限步内判定命题的真伪
B.完备性,即所有能够从该形式化系统推导出来的命题,都可以从这个形式化系统推导出来
C.一致性,即一个命题不可能同时为真或为假
D.复杂性,即算法性能与输入数据大小相关
设a、b、c、d均为正整数,下述各命题是否为真?若为真,请给出证明;否则,请出反例.
(1)若a|c,b|c.则ab|c;
(2)若a|c,b|d.则ab|ed;
(3)若ab|c,则a|c;
(4)若a|bc,则alb或a|c.
给定微分方程初值问题
(7.17)
设问题(7.17)存在解y(x),且y(x)∈C2[a,b].称
D={(x,y)|a≤x≤b,y(x)-δ≤y≤y(x)+δ}
为解y(x)的δ邻域.设①型在D内存在且连续,②为欧拉公式
(7.18)
的解.记
,
,
试证明当h≤h0时,有
|y(xi)-yi|≤ch,i=0,1,2,…,n. (7.19)
A.“疾病都会治好”与“疾病都不会治好”
B.“有的城市是开放城市”与“有的城市不是开放城市”
C.“没有河流是入海的”与“没有河流不是入海的”
D.“所有人家都有彩电”与“没有人家有彩电”