问题:
A.自反性B.对称性C.传递性D.以上皆不对
问题:
A.命题公式的主合取范式一定存在,但不一定唯一B.命题公式的主合取范式一定存在,且一定唯一C.命题公式的主合取范式不一定存在D.命题公式的主合取范式一定存在,且一定不唯一
问题:
A.所有的人都不是大学生,有些人不会死.B.所有的人不都是大学生,所有人都不会死.C.存在一些人不是大学生,有些人不会死.D.所有人都不是大学生,所有人都不会死.
问题:
A.若今天是5号,则明天是7号.今天是5号.所以明天是7号.B.若今天是5号,则明天是7号.明天不是7号.所以今天不是5号.C.今天是5号当且仅当明天是7号.今天不是5号.所以明天不是7号.D.若今天是5号,则明天是7号.明天是7号.所以今天是5号.
问题:
A.化简律B.附加律C.假言推理定律D.等价三段论定律
问题:
A.永真式B.永假式C.可满足式D.以上三种情况均有可能
问题:
A.强连通图B.单向连通图C.弱连通图D.有向连通图