Homework Help

Discrete Math help pleaseI have to prove the conclusion, A horse that is registered for...

user profile pic

nikhilnair93 | Student, Undergraduate | eNoter

Posted April 3, 2012 at 1:10 AM via web

dislike 0 like

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

user profile pic

thez | Student, Grade 11 | eNoter

Posted April 8, 2012 at 4:04 PM (Answer #1)

dislike 0 like

Use the VENN DIAGRAM

Join to answer this question

Join a community of thousands of dedicated teachers and students.

Join eNotes