Bumped by Community user
2 grammar and formatting for clarity
source | link

Whats What is the difference between the resolution rule and the elimination in natural deduction?

I understand that elimination is:

p v q

¬q

then p

and resolution is:

q1q1 v q2q2 v q3q3... qnqn
¬q1¬q1 v q2q2 v q3q3... qnqn
then q2q2 v q3q3... qnqn

I see no difference, but my teacher is telling us dontdon't use the elimination method, use. Use resolution.

Whats is the difference between resolution and elimination in natural deduction?

I understand elimination is:

p v q

¬q

then p

and resolution is:

q1 v q2 v q3... qn
¬q1 v q2 v q3... qn
then q2 v q3... qn

I see no difference, but my teacher is telling us dont use elimination method, use resolution.

What is the difference between the resolution rule and the elimination in natural deduction?

I understand that elimination is:

p v q

¬q

then p

and resolution is:

q1 v q2 v q3...qn
¬q1 v q2 v q3...qn
then q2 v q3...qn

I see no difference, but my teacher is telling us don't use the elimination method. Use resolution.

1
source | link

Whats is the difference between resolution and elimination in natural deduction?

I understand elimination is:

p v q

¬q

then p

and resolution is:

q1 v q2 v q3... qn
¬q1 v q2 v q3... qn
then q2 v q3... qn

I see no difference, but my teacher is telling us dont use elimination method, use resolution.