设个体域为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｝，消去公式∀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)