产生式规则的基本形式是（ ）。
A: IF P THEN Q
B: IF P AND Q
C: IF P OR Q
D: IF P NOT Q
A: IF P THEN Q
B: IF P AND Q
C: IF P OR Q
D: IF P NOT Q
举一反三
- 以下基本推理规则错误的是（）。 A: P, P→Q⇒Q B: P→Q , ¬Q⇒¬P C: ¬P，P⋁Q⇒Q D: P→Q, ¬P ⇒ ¬Q
- 下列哪些是产生式的基本形式？ A: IF P THEN Q B: 如果P，则Q C: P→ Q D: Q=P（x，y）
- 以下基本推理规则错误的是（）。 A: P→Q，Q→R ⇒ P→R B: P⋁Q，P→R，Q→R ⇒ R C: P ⋀ Q ⇒ P D: P →Q , Q ⇒ P
- 下列各推理形式中，有效的推理形式是（ ）。 A: （(p→﹁q)∧q）→﹁p B: (（p←﹁q)∧﹁p）→q C: （(p↔ q)∧﹁q）→﹁p D: （(p→q)∧p）→q
- 下列公式是矛盾式的是( )。 A: (P∧(P→Q))∧﹁P B: P∧(P→Q) →P C: (﹁P∧(P∨Q))∨Q) D: (Q∨﹁(P→Q))∧﹁Q