以“不可能(p并且q)”为前提进行等值推理,其结论为
A.可能(非p或非q)
B.必然(p且非q)
C.必然(非p或非q)
D.必然(如果p则q)
A.可能(非p或非q)
B.必然(p且非q)
C.必然(非p或非q)
D.必然(如果p则q)
第4题
A.前提: ~p∧q, p∨~r, r∨s, sÞu 结论: u
B.前提: p∨q, pÛr, ~q∨s 结论: s∨r
C.前提: pÞ(qÞr) 结论: (pÞq)Þ(pÞr)
D.前提: (p∧q)Þr, ~r∨s, ~s, p 结论: q
第5题
A.P(A)小于P(A|B)
B.P(A)小于等于P(A|B)
C.P(A)大于P(A|B)
D.P(A)大于等于P(A|B)
第8题
A.p->next=head;myrear->next=p;head=p;
B.head->next=p;myrear->next=p;head=p;
C.myrear->next=p;head=p;head->next=p;
D.myrear->next=p;head=p;p->next=head;
第10题
A.前提:("x)(~P(x)ÞQ(x)), ("x)~Q(x) 结论:P(a)
B.前提:("x)(P(x)ÞQ) 结论:("x)P(x)ÞQ
C.前提:("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论:($x)(R(x)ÞP(x))
D.前提:("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x)) 结论:("x)(R(x)∧S(x))
E.前提:("x)($y)P(x, y) 结论:("x)($y)($z)(P(x, y)∧P(y, z))
F.前提:("x)P(x)∨("x)Q(x) 结论:("x)(P(x)∨Q(x))
G.前提:("x)(G(x)ÞH(x)),~($x)(F(x)∧H(x)) 结论:($x)F(x)Þ($x)G(x)
H.前提:("x)(H(x)ÞM(x)) 结论:("x)("y)(H(y)∧N(x, y
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!