Skip to content
Early access — you're among the first to try PYQLabs. Share feedback
Concept drill

resolution-rule

GATE CSE & IT · Set Theory & Logic · 2003-2003

1
PYQs
100%
keyed
0
elite explanations
1
years appeared

Study anchor

Rosen — Discrete Mathematics and Its Applications

Discrete structures, counting, relations, graph theory

Practice action

Start latest PYQ

PYQs in this concept

All concepts →
2003 PYQ

The following resolution rule is used in logic programming. Derive clause $$\left( {P \vee Q} \right)$$ from clauses $$\left( {P \vee R} \right)$$, $$\left( {Q \vee \neg R} \right)...

mediumanswer key