题目内容
（请给出正确答案）
简答题官方参考答案
（由简答题聘请的专业题库老师提供的解答）
更多“设命题：“马路上骑自行车不许带人。不许闯红灯，不许逆行，否则罚款5—10元。” 利用下列符号：M：某人在马路上骑自行车；P：某人骑车带人；R：某人骑车逆行；Q： 某人骑车闯红灯；S： 某人被罚款5—1…”相关的问题
某厂青工小李骑自行车误闯红灯，交警当场作出罚款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))
警告：系统检测到您的账号存在安全风险
为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！
