A、相同的逻辑常项,相同的变项
B、不同的逻辑常项,不同的变项
C、不同的逻辑常项,相同的变项
D、相同的逻辑常项,不同的变项
第1题:
命题公式 P→(Q→R) 与 Q→(P→R) 是等值的。
第2题:
下列字符串是否是命题公式。 (1)(P→Q)↔(¬Q→¬P) (2)(Q∧(P→Q))→(P→Q) (3)(¬Q→P)→(P→Q) (4)(P∨Q→R↔)S (5)(P∧Q)↔P (6)(P→¬P)¬P (7)(P→QR→Q) (8)¬(P↔Q)Û(P∨Q)∧¬(P∧Q) (9)(P∧¬Q)∨(¬P∧Q) (10)((Q∧R)→S)∧(R→(P∨S))∧(R∧P→Q)→S
第3题:
证明下列命题公式之间的等价的 (1)(P→Q)∧(R→Q)Û(P∨R)→Q (2)¬(P↔Q)Û(P∨Q)∧¬(P∧Q) (3)¬(P↔Q)Û(P∧¬Q)∨(¬P∧Q) (4)((Q∧R)→S)∧(R→(P∨S))Û(R∧(P→Q))→S;
第4题:
设有命题:“马路上骑自行车不许带人,不许闯红灯,不许逆行,否则罚款5~10元。”。利用下列符号:M:某人在马路上骑自行车;P:某人骑车带人;R:某人骑车逆行;Q:某人骑车闯红灯;S:某人被罚款5~10元。请用给定的符号表示上述命题。
A.(M→┐P∧┐Q∧┐R)∧(P∨Q∨R→S)
B.(M∧┐P∧┐Q∧┐R)∧(P∨Q∨R→S)
C.(M→┐P∧┐Q∧┐R)∨(P∨Q∨R→S)
D.(M→┐P∧┐Q∧┐R)∧(P∨Q∨R∧S)
第5题:
﹁P∨Q∧R®S是以下哪个合式公式的简化形式?
A.((((﹁P)∨Q)∧R)®S)
B.(((﹁P)∨(Q∧R))®S)
C.((﹁(P∨Q)∧R)®S)
D.((﹁P)∨(Q∧(R®S)))