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
We’ve answered 319,425 questions. We can answer yours, too.Ask a question