假设关系P和Q具有相同的关系模式，以下所列出的等价式中，______是错误的等价式。
A: P∩Q=P-(P-Q)
B: P∩Q=Q-(Q-P)
C: P∪Q=P∪(Q-P)
D: P∪Q=Q∪(Q-P)
A: P∩Q=P-(P-Q)
B: P∩Q=Q-(Q-P)
C: P∪Q=P∪(Q-P)
D: P∪Q=Q∪(Q-P)
D
举一反三
- A．P∩Q=P-(P-Q) B．P∩Q=(Q-P) C．P∪Q=P∪(Q-P) D．P∪Q=Q∪(Q-P)
- 双蕴涵命题 pq 的等价式为： A: (p->q)∧(q->p) B: (┐p∨q)∧(┐q∨p) C: (p∧q)∨(¬p∧¬q) D: 另外 3 个都是
- 6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)
- 以下等价公式哪个公式是正确的() A: P∨(Q∨R)⇔(P∨Q)∨(Q∨R) B: P∨(Q∨R)⇔(P∨Q)∧(Q∨R) C: P∨﹁Q⇔﹁P∨Q D: P→Q⇔Q→P
- 6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q) ∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P) A: 1-2-3-5 B: 1-2-5 C: 1-3-4-5 D: 1-3-5
内容
- 0
下面哪一组命题公式不是等价的（ ） A: （P→Q）∧（Q→P），P<->Q B: ┐（P<->Q），（P∧┐Q）∨（┐P∧Q） C: P→（Q∨R），┐P∧（Q∨R） D: P→（Q∨R），（P∧┐Q）→R
- 1
(p → q) ∧ (¬p → q) 的逻辑等价形式有 A: F→ q B: T→ q C: q D: (¬p ∧ q) ∨ (p ∧ q) ∨q E: (¬p ∧ q) ∨q
- 2
充分条件假言推理的有效式是()。 A: (p→q)∧q→p B: (p→q)∧p→q C: (q→p)∧﹁q→﹁p D: (p→q)∧﹁q→﹁p
- 3
充分条件假言推理的有效式是( )。 A: (p→q)∧q→p B: (q→p)∧q→p C: (q→p)∧p→q D: (q→p)∧﹁q→p
- 4
下列假言推理为有效式的有（）。 A: （﹁p→q）∧p├﹁q B: （p→﹁q）∧q├﹁p C: （﹁p←﹁q）∧﹁p├q D: （p←﹁q）∧﹁q├p E: （p→﹁q）∧p├﹁q