某厂青工小李骑自行车误闯红灯,交警当场作出罚款30元的处罚决定,则( )。
A.本案不应适用当场处罚程序
B.小李应到指定银行交纳罚款
C.小李若申辩,罚款额将因认错态度不好而提高
D.小李应当场交纳罚款
某厂青工小李骑自行车误闯红灯,交警当场作出罚款30元的处罚决定,则( )。
A.本案不应适用当场处罚程序
B.小李应到指定银行交纳罚款
C.小李若申辩,罚款额将因认错态度不好而提高
D.小李应当场交纳罚款
在自然推理系统P2中构造下面推理的证明: (1)前提:p→q 结论:p→(p∧q) (2)前提:q→p, q«s, s«t, t∧r 结论:p∧q (3)前提:p→r, q→s, p∧q 结论:r∧s (4)前提:┐p∨r, ┐q∨s, p∧q 结论:t→(r∨s)
给定如下三个公式: (1)(p→q)→(┐q→┐p) (2) ┐(p→q)∧r∧q (3)(p→q)∧┐p (i) 用等值演算法来判断上述公式的类型。 (ii) 用主析取范式法判断上面公式的类型,并求公式的成真赋值。 (iii) 求上面3个公式的主合取范式,并求公式的成假赋值。
试用命题演算解决下面的问题: 某天,三位任课教师各需给某班辅导,其中英语老师希望排在第一节或第二节;力学老师希望排在第一节或第三节;而数学老师希望排在第二节或第三节,问能否同时满足老师们的要求?若能,试写出可行方案。
试将下列各句用谓词逻辑公式表示。 (1)人人为我,我为人人。 (2)鱼我所欲也,熊掌亦我所欲也。 (3)有的兔子比所有的乌龟跑得快。 (4)若集合A上的二元关系R是反自反的和传递的,则R是反对称的。
下列各式是否是永真式?说明理由。 (1) "x(A(x)∧B(x))« ("x A(x)) ∧"x B(x)) (2) (A®$xB(x)) « $x(A®B(x)) (3) "x(A(x) ®B(x))« ($x A(x) ®"x B(x))
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!