11问答网
所有问题
当前搜索:
离散数学等价等值式证明
离散数学
证明
下面的
等值式
答:
本题不是
等值式
,是构造推理
证明
:前提:┒Ex(P(x)∧H(x)),Ax(F(x)→H(x))。结论:Ax(F(x)→┒P(x))证明:①┒Ex(P(x)∧H(x))前提引入 ② Ax(┒P(x)∨┒H(x))……(以下每一步的理由留给你)③Ax(H(x)→┒P(x))④H(a)→┒P(a)⑤Ax(F(x)→H(x))⑥F(a)→H...
离散数学等值
演算公式
答:
同一律);A^1可为A(同一律);A^非A可为0(矛盾律);AV非A可为1(排中律);A→B可为非AVB(蕴含等值式);A等价B可为(A→B)^(B→A)(
等价等值式
);A→B可为非A等价非B(假合易位);A等价B可为非A等价B(双条件否定等值式);(A→B)^(A→非B)可为非A(归谬论)
离散数学
题,数理逻辑 求高手答疑 前提:(p﹀q)->r, ﹁s﹀p, q 结论:s...
答:
附加律 3. (p∨q)->r 前提引入 4. r 2.3.假言推理 5. ﹁s∨r 附加律 6. s->r 蕴含
等值式
离散数学
答:
用了分配律、排中律、同一律三个
等值式
。整个式子是┐A∨(A∧B)的结构,用分配律,分解为(┐A∨A)∧(┐A∨B)。根据排中律,┐A∨A<=>1,再根据同一律,1∧(┐A∨B)<=>┐A∨B
离散数学
公式
答:
等值
演算公式,1,A可为非非A(双重否定律)2,A可为AVA(幂等律)3,A可为A^A(幂等律)4,AVB可为BVA(交换律)5,A^B可为B^A(交换律)6,AV(BVC)可为(AVB)VC(结合律)7,A^(B^C)可为(A^B)^C(结合律)8,AV(B^C)可为(AVB)^(AVC)(分配律)9,A^(BVC)...
离散数学
公式
答:
等值
演算公式,1,A可为非非A(双重否定律)2,A可为AVA(幂等律)3,A可为A^A(幂等律)4,AVB可为BVA(交换律)5,A^B可为B^A(交换律)6,AV(BVC)可为(AVB)VC(结合律)7,A^(B^C)可为(A^B)^C(结合律)8,AV(B^C)可为(AVB)^(AVC)(分配律)9,A^(BVC)...
离散数学
蕴含
等值式
怎么理解?
答:
从真值的角度去理解最方便了,它的真值条件是:为真,当且仅当,左右两边的值一样。
离散数学
,判断∀x(A(x)∧B(x))=∀xA(x)∧∀B(x)
答:
是对的,量词分配
等值式
构造法
证明
中T()后面的字母什么意思例如
离散数学
中的 T(2)E 表示T...
答:
E指的是恒等式,就是那些命题
等值式
,比如双重否定、排中律等等,有的书上会列举24个,标注为E1~E24,还有永真蕴含式I1~I9,P规则,T规则等等.
离散数学
选择题第三题怎么做?
答:
选C,反复用蕴涵
等值式
A→B=┐AvB.C项中:左边=(P→(┐Q→P))=(P→(QvP)=┐PvQvP=1vQ=1右边=(┐P→(P→Q))=┐P→(┐PvQ)=Pv(┐PvQ)=1vQ=1所以是永真式,也就是重言式
<涓婁竴椤
1
2
3
4
5
6
7
8
涓嬩竴椤
其他人还搜