Discrete Math help pleaseI have to prove the conclusion, A horse that is registered for today's race is not thoroughbred. Every horse registered for today's race has won a race this year. Therefore...

Discrete Math help please

I have to prove the conclusion,

A horse that is registered for today's race is not thoroughbred. Every horse registered for today's race has won a race this year. Therefore a horse that has won a race this year is not a thoroughbred.

I was thinking of using 3 variables,
R for 'horse that is registered'
T for 'thoroughbred'
W for 'won a race this year'

But I'm not sure if my next step is right,

Would the two statements and conclusion be...
R implies ¬T
∀ R implies W
¬W implies ¬T

I just need help with what I do from here on. Any help would be appreciated! :)

1 Answer | Add Yours

We’ve answered 315,555 questions. We can answer yours, too.

Ask a question