当前位置：
首页
> 离散数学(02324)
用推理法证明以下各式成立。(1)¬(P⋀¬Q),¬QⅤR,¬R⊦¬P;(2)(PⅤQ),(P→R),(Q→S)⊦SⅤR;(3)W
- 2024-08-03 23:47:36
- 离散数学(02324)
设有下列情况,结论是否有效?(1)或者是天晴,或者是下雨。(2)如果是天晴,我去看电影。(3)如果我去看电影,我就不看书。结论:
- 2024-08-03 23:47:39
- 离散数学(02324)
- 1
用CP规则证明以下各式:(1)¬AⅤB,C→¬B⊦A→¬C;(2)A→(B→C),(C⋀D)→¬E,¬F→(D⋀¬E)⊦A→(B
- 2024-08-03 23:47:42
- 离散数学(02324)