There is an example in the section 1.6 which goes as:
Show that the premises “It is not sunny this afternoon and it is colder than yesterday,” “We will go swimming only if it is sunny,” “If we do not go swimming, then we will take a canoe trip,” and “If we take a canoe trip, then we will be home by sunset”Show that the premises “It is not sunny this afternoon and it is colder than yesterday,” “We will go swimming only if it is sunny,” “If we do not go swimming, then we will take a canoe trip,” and “If we take a canoe trip, then we will be home by sunset”
In the solution the author rosen writes line which goes as:
Let p be the proposition "It is sunny this afternoon", q the proposition "It is colder than yesterday", r the proposition "We will go swimming", s the proposition "We will take a canoe trip", and the t the proposition "We will be home by sunset". Then the premises become
¬p∧q,r→p and some text.
Now my question comes here. According to the definition of conditional statement p->q means "q only if p". So, according to that definition and from above question it should p→r and not r→p. Where am i wrong? Anyone Please clear this doubt. and also if we take r->p it translates to "if we will go swimming then it is sunny" it does not make sense in any world according to me. Thanks in advance.
p
q
