We have to deduce , which is equivalent to , from:
Hence, it's a valid argument. Hope this helps you.
We have correctly inferred that is true, but this implies that is true and so is .
Simplification - Wikipedia, the free encyclopedia
I'm sorry I couldn't find something else.