:一天晚上,某商店被盗。公安机关通过侦查,得出如下判断:(1)盗窃者或是甲,或是乙;(2)如果甲是盗窃者,那么作案时间就在零点之前;(3)零点时该商店的灯光灭了,而此时甲已经回家;(4)如果乙的供述不属实,那么作案时间就不在零点之前;(5)只有零点时该商店的灯光未灭,乙的供述才属实,由此可以推出本案的盗窃者是:
A.甲
B.乙
C.甲或者
D.甲和乙
A.甲
B.乙
C.甲或者
D.甲和乙
所有北大学生(S(x))都是聪明的(P(x))”谓词公式是
A、"x(S(x)→P(x))
B、"x(S(x)→﹁P(x))
C、$x(S(x)∧P(x))
D、$x(S(x)∧﹁P(x))
“有的被告(B(x))不是诚实的(C(x))”谓词公式是
A、"x(B(x)→C(x))
B、"x(B(x)→﹁C(x))
C、$x(B(x)∧C(x))
D、$x(B(x)∧﹁C(x))
与“﹁"x(A(x)→B(x))”相等值的谓词公式是
A、$x(A(x)∧﹁B(x))
B、$x﹁(A(x)∧B(x))
C、"x(A(x)∧﹁B(x))
D、"x﹁(A(x)→B(x))
“有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是
A、$x(T(x)∧"y(H(y)→﹁Z(x,y))
B、$x(T(x)∧"y(H(y)→Z(x,y))
C、$x(T(x)∧$y(H(y)→Z(x,y))
D、$x(T(x)∧"y(H(y)∧Z(x,y))
当P至少在一个可能世界为真时,下列说法正确的是
A、“可能P”是真的
B、“必然P”是真的
C、“必然非P”是真的
D、“可能非P”是真的
下列命题中属于简单模态命题的是
A、冬天过后必然是春天。
B、模态命题是指含有模态词的命题。
C、在学习逻辑过程中,入门是可能的,精通也是可能的。
D、明天可能会堵车。
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!