用符号“∈”或“∉”填空：（1）−3 N，0.5 N，3 N；（2）1.5 Z，−5 Z，3 Z；（3）−0.2 Q，π Q，7.21 Q；（4）1.5 R，−1.2 R，π R．

以下哪个步骤是P⟷Q⇔ (﹁P∧﹁Q )∨(Q∧P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔( P→Q)∨( Q→P) 3、⇔(﹁P∨Q)∧(﹁Q∨P) 4、⇔(﹁P∧Q)∨(﹁Q∧P) 5、⇔[﹁P∨(﹁Q∨P)]∧[Q∨(﹁Q∨P)] 6、⇔[﹁P∧(﹁Q∨P)]∨[Q∧(﹁Q∨P)] 7、⇔[(﹁P∧﹁Q)∨(﹁P∧P)]∨ [(Q∧﹁Q)∨(Q∧P)] 8、⇔[(﹁P∧﹁Q)∧T]∨[T∧(Q∧P)] 9、⇔[(﹁P∧﹁Q)∨ F]∨[F∨(Q∧P)][br][/br] 10、⇔ (﹁P∧﹁Q )∨(Q∧P) A: 1-4-6-9-10 B: 2-4-5-7-9-10 C: 1-3-6-7-9-10 D: 2-4-6-7-9-10

以下程序的输出结果是（）。#includevoidmain（）{intx=1，y=2，z=3；structaa{inta；int*p；}s[]={4，&x，5，&y，6，&z}；structaa*q=s+1；printf（"%d\n"，*（q–>p）++）；} A: 1 B: 2 C: 3 D: 4

Conversation two When will Mrs. Griffin arrive at Sunrise Hotel A: at 9:15 pm B: at 9:35 pm C: at 10:00 pm

使用rpm查询软件包gconf-editor-2.28.0-3.el6.i686.rpm是否已经安装在本机的命令是（ ）。 A: pm -ivh gconf-editor-2.28.0-3.el6.i686.rpm B: pm -q gconf-editor-2.28.0-3.el6.i686.rpm C: pm -q gconf-edito D: pm -e gconf-edito

【单选题】为安装一个软件包,应使用 ( ) A: pm -i B: pm -e C: pm -q D: pm –V

查询软件包的命令是( ) A: pm -i filename B: pm -U filename C: pm -e filename D: pm -q filename

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。 证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数; 前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x)); 结论:∃x(R(x)∧Z(x))。 (1)∃x(Q(x)∧Z(x)) 前提引入 (2)Q(c)∧Z(c) (1)∃- (3)∀x(Q(x)→R(x)) 前提引入 (4)Q(c)→R(c) (3)∀- ( 5 )Q(c) (2) 化简 ( 6 )R(c) (4)(5) 假言推理 ( 7 )Z(c) (2) 化简 (8)R(c)∧ Z(c) (6)(7) 合取引入 (9)∃x(R(x)∧Z(x)) (8)∃+

Linux系统中,欲查询bind套件是否有安装,可用下列哪一个指令() A: pm -ivh bind*.rpm B: pm -q bind*.rpm C: pm -U bind*.rpm D: pm -q bind

如果需要找出/etc/my.conf文件属于哪个软件包(package),可以执行( )命令。 A: pm -q /etc/my.conf B: pm -requires /etc/my.conf C: pm -qf /etc/my.conf D: pm -q | grep /etc/my.conf