设个体域为A={a,b},消去公式"x$y(P(x)→Q(y))中的量词为
A: （¬P(a)ÚQ(a)ÚQ(b)）Ù（¬P(b)ÚQ(a)ÚQ(b)）
B: (P(a)ÚP(b)〕→(Q(a)ÚQ(b))
C: (P(a)ÙP(b)〕→(Q(a)ÚQ(b))
D: （¬P(a)ÚQ(a)）Ù（¬P(b)ÚQ(b)）
A: （¬P(a)ÚQ(a)ÚQ(b)）Ù（¬P(b)ÚQ(a)ÚQ(b)）
B: (P(a)ÚP(b)〕→(Q(a)ÚQ(b))
C: (P(a)ÙP(b)〕→(Q(a)ÚQ(b))
D: （¬P(a)ÚQ(a)）Ù（¬P(b)ÚQ(b)）
A,A,B
举一反三
- 设个体域为A=｛a,b｝，消去公式∀x$y (P(x) ®Q(y) )中的量词为： A: （¬ P(a)νQ(a)νQ(b)）Λ（¬ P(b)νQ(a)νQ(b)） B: （P(a)∨P(b))® (Q(a)∨Q(b)) C: （P(a) Ù P(b))® (Q(a)∨Q(b)) D: （¬ P(a)νQ(a) ）Λ（¬ P(b) νQ(b)）
- 下列公式成立的为( ) A: ØP∧ØQÛP∨Q B: P®ØQÛØP®Q C: Q®PÞP D: ØP∧(P∨Q)ÞQ
- 设A、B为真，X、Y为假，P、Q的值不确定，下列命题公式的值能够确定的是（） A: P∨（X∨ØP） B: Ø（P∧Q）∨（ØP∧ØQ） C: （P→A）→（B→Y） D: （A→Y）→（B→（（A→Q）→Y））
- 以下逻辑公式中，（）是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)
- 下面命题公式是重言式的为( )。 A: (pq)(pq) B: (pq)q C: p(pq) D: (pq)(pq)
内容
- 0
下列命题公式中为永真式的有( ) A: (P→Q)↔(¬Q→¬P) B: (P→Q)→(¬Q→¬P) C: (P→Q)→(¬P→¬Q) D: (P→Q)↔(¬P→¬Q)
- 1
与公式p↓q等值的公式为()。 A: p∨¬q B: p∧¬q C: ¬(p∨q) D: ¬(p∧q)
- 2
下面公式()不是合取范式,其中p,q为简单命题。 A: p∧q B: p∨q C: (p∧q)∨(¬p∧q) D: (p∨q)∧(¬p∨q)
- 3
下列命题公式中,为永真式的是( )。 A: (p→q) ↔ (¬p∨q) B: (p→q)↔( q→p) C: ¬p∨¬(p∨q) D: (¬q∧¬p)∨(q∧p)
- 4
下面四组公式中,()组公式不等值。 A: ¬(p→q),p∧¬q B: p↔q,(p→q)∧(q→p) C: p→(q∨r),¬p∧(q∨r) D: p→(q∨r),(p∧¬q)→