Bumped by Community user
2 grammar and formatting for clarity

# 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

# 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.