下列哪些是产生式的基本形式？
A: IF P THEN Q
B: 如果P，则Q
C: P→ Q
D: Q=P（x，y）
A: IF P THEN Q
B: 如果P，则Q
C: P→ Q
D: Q=P（x，y）
举一反三
- 产生式规则的基本形式是（ ）。 A: IF P THEN Q B: IF P AND Q C: IF P OR Q D: IF P NOT Q
- 下列谓词公式的等价式正确的是。 A: P→Q⇔¬P∨Q B: ¬(∀x)P⇔(∃x)P C: ¬(∃x)P⇔(∀x)(¬P) D: ﹁(P∧Q)⇔﹁P∨Q
- 设个体域为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=｛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∧(P→Q))∧﹁P B: P∧(P→Q) →P C: (﹁P∧(P∨Q))∨Q) D: (Q∨﹁(P→Q))∧﹁Q