Better Students Ask More Questions.
Discrete Math help pleaseI have to prove the conclusion, A horse that is registered for...
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
Join to answer this question
Join a community of thousands of dedicated teachers and students.