搜题请搜索小程序“爱下问搜题”
问题 多项选择题

以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

A.二难推理的简单构成式

B.二难推理的复杂构成式

C.选言推理的肯定否定式

D.选言推理的否定肯定式

E.联言推理的组合式

答案

参考答案：A, D, E

单项选择题

有以下程序： #include＜stdio.h＞ main() {FILE *pf； char*s1="China",*s2="Beijing"： pf=fopen("abc.dat"，"wb+")； fwrite(s2，7，1，pf)； rewind(pf)； /*文件位置指针回到文件开头*/ fwrite(s1，5，1，pf)； fclose(pf)； } 以上程序执行后abc.dat文件的内容是( )。

A．China

B．Chinang

C．ChinaBeijing

D．BeijingChina
查看答案
单项选择题

DNA碱基组成具下列特点（）

A、A=C

B、T=C

C、A+C=G+T

D、A+T=G+C
查看答案