数理逻辑课后题答案
@施虽299：数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→... - 作业帮
纪宰18945394751…… [答案] 郭敦顒回答:恒真式,就是正命题为真,逆命题也是真的;充分可能式,正命题是真,逆命题不一定是真.判断下两命题的正误——①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→Q是充足可能,P是恒真式,证明Q也是恒...
@施虽299：离散数学数理逻辑的一个题目某电路中有一个灯泡和三个开关A,B,C.已知在且仅在下述四种情况下灯亮:(1)C的扳键向上,A,B的扳键向下.(2)A的扳键... - 作业帮
纪宰18945394751…… [答案] 设扳上用字母ABC表示,扳下用否定表示. (a)(┐A∧┐B∧C)∨(A∧┐B∧┐C)∨(┐A∧B∧C)∨(A∧B∧┐C) (b) 记(┐A∧┐B∧C)=P, (A∧┐B∧┐C)=Q, (┐A∧B∧C)=R, (A∧B∧┐C)=S, 由于P∨Q=┐(┐P∧┐Q),所以 P∨Q∨R∨S...
@施虽299：148,1332,(),(),18112 这是一道数理逻辑题,求大神给出答案详细过程 -
纪宰18945394751…… 把148,1332,(x),(y),18112看成高阶等差数列,求差得........1184,x-1332,y-x,18112+x-y,把上述数列看成等差数列,得1184+y-x=2(x-1332),x-1332+18112+x-y=2(y-x),化简得y=3x-3848,①4x+16780=3y,② 把①代入②,4x+16780=9x-11544,28324=5x,x=5664.8,代入①,y=13146.4.本题有多解.
@施虽299：148,1332,(),(),18112 这是一道数理逻辑题,求大神给出答案与答 -
纪宰18945394751…… 148,1332,(918),(1872),18112 理由:1+4+8=13 1*4*8=32 1+3+3+2=9 1*3*3*2=18 9+1+8=18 9*1*8=72………… 看懂了吗
@施虽299：数理逻辑中＂≐＂符号的意思以及与＂=＂的区别 - 作业帮
纪宰18945394751…… [答案] 一个是单纯的等号,另一个是恒等
@施虽299：数理逻辑证明题,谓词逻辑公理1:A→(B→A)2:(A→(B→C))→((A→B)→(A→C))3:(﹁A→B) →((﹁A→﹁B) →A)推理规则:分离规则:如果A,并且A→B,那么... - 作业帮
纪宰18945394751…… [答案] 都是命题逻辑证明吧Th1: (D→(C→D))->(C→(D→(C→D))) (公理1)D→(C→D) (公理1)C→(D→(C→D)) (分离规则)Th2:(D→(A→D))→((D→A)→...
@施虽299：数理逻辑问题:＂仅当你去我才不去＂的逆命题为何是＂如果你去,我就不去＂?这是书上的答案,我的问题是,为什么不是＂如果我不去,你就去＂? - 作业帮
纪宰18945394751…… [答案] 原话“仅当你去我才不去”,即“仅当你去我才可能不去” 可以这样理如果你去,我可能不去,也可能去; 但是如果我不去,肯定是你去了 所以原命题条件为我不去,结论为你去 因此逆命题条件为你去,结论为我不去 即＂如果你去,我就不去＂
@施虽299：p∨q能用只由→构成的真值形式表示数理逻辑的题,是陈慕泽 《数理逻辑基础——一阶逻辑与一阶理论》第27页的题目, - 作业帮
纪宰18945394751…… [答案] 这弯曲的边,这些褶皱和凹陷, 穿过花的田野. 我所惧怕的土地中有一个洞. 暗示感觉迟钝.欢笑的人 心儿从未如此渴望自由, 横断面被扯得遍体鳞你哈哈
@施虽299：大学数理逻辑题目 命题逻辑 -
纪宰18945394751…… 答案是:“如果1加1不等于2,那么,2加3不等于5.”这是一个充分条件假言判断.我们已经知道,在充分条件假言判断中,前件是后件的充分条件,所以,当前件真(存在)、后件假(不存在)的时候,该判断必然是一个假的判断.但是,...
@施虽299：离散数学数理逻辑题已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式,及A对应的真值函数.P90A... - 作业帮
纪宰18945394751…… [答案] 由于公式含3个命题变项,并且已知有3个成真赋值001,010,111,因而有5个 成假赋值000,011,100,101,110. 成真赋值对应的极小项分别为m1,m2,m7,故主析取范式为A m1∨m2∨m7 成假赋值对应的极大项分别为M0,M3,M4,M5,M6,故主合取范式为...
纪宰18945394751…… [答案] 郭敦顒回答:恒真式,就是正命题为真,逆命题也是真的;充分可能式,正命题是真,逆命题不一定是真.判断下两命题的正误——①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→Q是充足可能,P是恒真式,证明Q也是恒...
@施虽299：离散数学数理逻辑的一个题目某电路中有一个灯泡和三个开关A,B,C.已知在且仅在下述四种情况下灯亮:(1)C的扳键向上,A,B的扳键向下.(2)A的扳键... - 作业帮
纪宰18945394751…… [答案] 设扳上用字母ABC表示,扳下用否定表示. (a)(┐A∧┐B∧C)∨(A∧┐B∧┐C)∨(┐A∧B∧C)∨(A∧B∧┐C) (b) 记(┐A∧┐B∧C)=P, (A∧┐B∧┐C)=Q, (┐A∧B∧C)=R, (A∧B∧┐C)=S, 由于P∨Q=┐(┐P∧┐Q),所以 P∨Q∨R∨S...
@施虽299：148,1332,(),(),18112 这是一道数理逻辑题,求大神给出答案详细过程 -
纪宰18945394751…… 把148,1332,(x),(y),18112看成高阶等差数列,求差得........1184,x-1332,y-x,18112+x-y,把上述数列看成等差数列,得1184+y-x=2(x-1332),x-1332+18112+x-y=2(y-x),化简得y=3x-3848,①4x+16780=3y,② 把①代入②,4x+16780=9x-11544,28324=5x,x=5664.8,代入①,y=13146.4.本题有多解.
@施虽299：148,1332,(),(),18112 这是一道数理逻辑题,求大神给出答案与答 -
纪宰18945394751…… 148,1332,(918),(1872),18112 理由:1+4+8=13 1*4*8=32 1+3+3+2=9 1*3*3*2=18 9+1+8=18 9*1*8=72………… 看懂了吗
@施虽299：数理逻辑中＂≐＂符号的意思以及与＂=＂的区别 - 作业帮
纪宰18945394751…… [答案] 一个是单纯的等号,另一个是恒等
@施虽299：数理逻辑证明题,谓词逻辑公理1:A→(B→A)2:(A→(B→C))→((A→B)→(A→C))3:(﹁A→B) →((﹁A→﹁B) →A)推理规则:分离规则:如果A,并且A→B,那么... - 作业帮
纪宰18945394751…… [答案] 都是命题逻辑证明吧Th1: (D→(C→D))->(C→(D→(C→D))) (公理1)D→(C→D) (公理1)C→(D→(C→D)) (分离规则)Th2:(D→(A→D))→((D→A)→...
@施虽299：数理逻辑问题:＂仅当你去我才不去＂的逆命题为何是＂如果你去,我就不去＂?这是书上的答案,我的问题是,为什么不是＂如果我不去,你就去＂? - 作业帮
纪宰18945394751…… [答案] 原话“仅当你去我才不去”,即“仅当你去我才可能不去” 可以这样理如果你去,我可能不去,也可能去; 但是如果我不去,肯定是你去了 所以原命题条件为我不去,结论为你去 因此逆命题条件为你去,结论为我不去 即＂如果你去,我就不去＂
@施虽299：p∨q能用只由→构成的真值形式表示数理逻辑的题,是陈慕泽 《数理逻辑基础——一阶逻辑与一阶理论》第27页的题目, - 作业帮
纪宰18945394751…… [答案] 这弯曲的边,这些褶皱和凹陷, 穿过花的田野. 我所惧怕的土地中有一个洞. 暗示感觉迟钝.欢笑的人 心儿从未如此渴望自由, 横断面被扯得遍体鳞你哈哈
@施虽299：大学数理逻辑题目 命题逻辑 -
纪宰18945394751…… 答案是:“如果1加1不等于2,那么,2加3不等于5.”这是一个充分条件假言判断.我们已经知道,在充分条件假言判断中,前件是后件的充分条件,所以,当前件真(存在)、后件假(不存在)的时候,该判断必然是一个假的判断.但是,...
@施虽299：离散数学数理逻辑题已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式,及A对应的真值函数.P90A... - 作业帮
纪宰18945394751…… [答案] 由于公式含3个命题变项,并且已知有3个成真赋值001,010,111,因而有5个 成假赋值000,011,100,101,110. 成真赋值对应的极小项分别为m1,m2,m7,故主析取范式为A m1∨m2∨m7 成假赋值对应的极大项分别为M0,M3,M4,M5,M6,故主合取范式为...
