设p:我平时认真学习,q:我通过离散数学考试,以下哪种说法能符号化为p→q:()A.除非我平时认真学习,否则我不能通过离散数学考试。B.若我平时认真学习,则我通过离散数学考试。C.因为我平时不认真学习,所以我没有通过离散数学考试。D.我通过离散数学考试仅当我平时认真学习。
设p:我平时认真学习,q:我通过离散数学考试,以下哪种说法能符号化为p→q:()
A.除非我平时认真学习,否则我不能通过离散数学考试。
B.若我平时认真学习,则我通过离散数学考试。
C.因为我平时不认真学习,所以我没有通过离散数学考试。
D.我通过离散数学考试仅当我平时认真学习。
参考答案和解析
若我平时认真学习,则我通过离散数学考试。
相关考题:
以下对指针变量的操作中,不正确的是()。 A.int p, *q; q=B.int *p, *q; q=p=NULL;C.int a=5, *p; *p=a;D.int a=5, *p= *p=*q;"
有以下程序: include void funl (char * p){char * q; q=p; while( *q! ='\0') } (*q) 有以下程序: #include <stdio.h>void funl (char * p){ char * q; q=p; while( *q! ='\0') } (*q) ++;q++;}mains( ){ char a[ ] = { "Program" } , * p; p = a[3]; fun1 (p); printf("% s \n" ,a);}程序执行后的输出结果是( )。A.ProhsbnB.PrphsbnC.ProgsbnD.Program
若有以下定义和语句:includeinta=4,b=3,*p,*q,*w;p=a; q=b; w=q; q=NULL;则 若有以下定义和语句: #include<stdio.h> int a=4,b=3,*p,*q,*w; p=a; q=b; w=q; q=NULL; 则以下选项中错误的语句是( )。A.*q=0;B.w=p;C.*p=a;D.*p=*w;
假设关系P和Q具有相同的关系模式,以下所列出的等价式中,______是错误的等价式。A.P∩Q=P-(P-Q)B.P∩Q=Q-(Q-P)C.P∪Q=P∪(Q-P)D.P∪Q=Q∪(Q-P)A.B.C.D.
假定建立了以下链表结构,指针p、q分别指向如图所示的结点,则以下可以将q所指结点从链表中删除并释放该结点的语句组是 ( )A.free(q);p->Next=q->next;B.(* p).next=(* q).nexy;free(q);C.q=(* q).next;(* p).next=q;free(q);D.q=q->next;p->next=q;p=p->next;free(p);
设指针变量p指向单链表中结点A,若删除单链表中结点A,则需要修改指针的操作序列为()。A.q=p->next;p->data=q->data;p->next=q->next;free(q);B.q=p->next;p->data=q->data;free(q);C.q=p->next;p->next=q->next;free(q);D.q=p->next;q->data=p->data;p->next=q->next;free(q);
在以下二难推理中,无效式是()A、(((p→q)∧(r→s))∧(p∨r))→(q∨s)B、(((p→q)∧(r→s))∧(∨)C、((p→q)∧(p→r))∧(∨))→pD、(((p→q)∧(r→q))∧(p∨r))→q
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A、~(p∨q),能必然推出(~r∨~s)B、(~r∨~s),能必然推出(p∨q)C、(p∨q),能必然推出~(r∧s)D、~(r∧s),能必然推出(~p∨~q)
设在链式存储的线性表中,设结点结构为data link,欲在p结点后插入一个结点q的关键步骤为()。A、q-link=p-link; p-link=q;B、p-link=q-link; p-link=q;C、q-link=p-link; q-link=p;D、p-link=q-link; q-link=p;
以下对指针变量进行操作的语句,正确的选项是()A、int*p,*q;q=p;B、inta,*p,*q;q=a;p=*q;C、inta=b=0,*p;p=a;b=*p;D、inta=20,*p,*q=a;p=q;
问答题试判断以下各式是否为重言式。 (1)(P→Q)→(Q→P) (2)P→(P→Q) (3)Q→(P→Q) (4)(P∧Q)→(P→Q) (5)((P→Q)∨(R→Q))→((P∨R)→Q) (6)((P→Q)∨((R→S))→((P∨R)→(Q∨S))
单选题双向链表中有两个指针域,llink和rlink,分别指回前驱及后继,设p指向链表中的一个结点,q指向一待插入结点,现要求在p前插入q,则正确的插入为()。Ap-llink=q;q-rlink=p;p-llink-rlink=q;q-llink=p-llink;Bq-llink=p-llink;p-llink-rlink=q;q-rlink=p;p-llink=q-rlink;Cq-rlink=p;p-rlink=q;p-llink-rlink=q;q-rlink=p;Dp-llink-rlink=q;q-rlink=p;q-llink=p-llink;p-llink=q;
单选题在以下二难推理中,无效式是()A(((p→q)∧(r→s))∧(p∨r))→(q∨s)B(((p→q)∧(r→s))∧(∨)C((p→q)∧(p→r))∧(∨))→pD(((p→q)∧(r→q))∧(p∨r))→q
单选题设指针变量p指向单链表中结点A,若删除单链表中结点A,则需要修改指针的操作序列为( )。Aq=p-next;p-data=q-data;p-next=q-next;free(q);Bq=p-next;q-data=p-data;p-next=q-next;free(q);Cq=p-next;p-next=q-next;free(q);Dq=p-next;p-data=q-data;free(q);
单选题以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A~(p∨q),能必然推出(~r∨~s)B(~r∨~s),能必然推出(p∨q)C(p∨q),能必然推出~(r∧s)D~(r∧s),能必然推出(~p∨~q)
单选题女(nǚ):我(wǒ)每(měi)天(tiān)早(zǎo)上(shɑng)都会(dōuhuì)去(qù)跑步(pǎobù),你(nǐ)要(yào)和(hé)我(wǒ)一(yī)起(qǐ)去(qù)吗(mɑ)?男(nán):我(wǒ)不(bù)喜欢(xǐhuɑn)跑步(pǎobù)。ABCDEF