Validity of Implication Arguments in Movie Reviews

[setvectorgroup]

Homework Statement

Is the argument below valid? If it's valid, write down the argument symbolically.

If a movie is not worth seeing, then it was not made in England. A movie is worth seeing only if critic Ivor Smallbrain reviews it. The movie The Good, The Bad and The Mathematician was not reviewed by Ivor Smallbrain. Therefore The Good, The Bad and The Mathematician was not made in England.

The Attempt at a Solution

I use ME for "made in England", W for "worth seeing", R for "reviewed/s".

1. Not W - > not ME (If a movie is not worth seeing, then it was not made in England.)
2. W - > R (A movie is worth seeing only if critic Ivor Smallbrain reviews it)
3. not R- > not W (The movie The Good, The Bad and The Mathematician was not reviewed by Ivor Smallbrain)
4. According to the first statement, the movie was not made in England.

Please, check if I am wrong/correct.

Thanks.

 

[mfb]

That is correct.

 

[setvectorgroup]

That is correct.

Thank You, mfb.