软件工程的三要素包括方法、工具和（）。

设S(x): x是三好学生, a:张三, b: 李四, 命题“张三是三好学生而李四不是”符号化为（ ）

下面哪一个命题是假命题（ ）

在自然数集N上，下列哪种运算是可结合的？( )

设S={0，1}，*为普通乘法，则是( )

命题逻辑演绎的CP规则为( ).

下面4个推理定律中，不正确的为( )。

设p:王平努力学习，q:王平取得好成绩，命题“除非王平努力学习，否则他不能取得好成绩”的符号化形式为( )。

下列不是命题的是（ ）。

设G是一棵树，n,m分别表示顶点数和边数，则( )

设G是简单有向图，可达矩阵P(G)刻画下列 ( )关系