CS 2305 Lecture Notes - Lecture 6: Modus Ponens, Qi
Document Summary
Q i will study discretemath p q if it"s snowing i will studydiscrete math someonetells you it is showing you will study discretemath s. P q same9 p q you i will notstudydiscrete math someoneelse it is not snowing. P i will visit lasvegas q i will studydiscretemath. You i will visitlasvegasand i willstudydiscretemath someoneelseo youwillvisitlasvegas p. I will studydatabase or i will studydiscretemath from the proposition prep a show that q is a valid proof conclusionusing. Ex construct a valid argument to show that with thefollowinghypothesis the conclusion is we will be home beforesunset. 1 is not sunnythis afternoon and it is colderthan yesterday 7p q. If we do not go swimming we will take a canoetrip. If we take a canoetrip we will behomeby sunset. S t soli p it is sunny this afternoon q it iscolderthanyesterday take a canoetrip. R we will goswimming t we will behomeby sunset step i pro.