Question

Prove that the argument below is valid using the rules of inference. Name the rule of inference or equivalence used at each step. (y implies z) And W (~z or x) V ~y x V y therfore x

Answer 1

We do need to see what you come up with, first. Pull out some DeMorgan. Whatever. Give it a go.

Answer 2

ok, I'll take a pic of my work

Answer 3

it's a bit messy tho

Answer 4

one sec

Answer 5

But that doesn't seem right cause wouldn't the x's cancel at the end

Answer 6

The ONLY thing I would call "messy" about that is that your "not"s look like "7"s. Very confusing.

Answer 7

oh sorry

Answer 8

Is it right tho?

Answer 9

It will take minute to sift through it. Did you do anything wrong on purpose? :-)

Answer 10

I tried really hard to do it right, did it a few times, I redid it on the back, it looks neater so I can send that one

Answer 11

idk