# 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

Use the VENN DIAGRAM