Question 261383
Let p = We will go for a bike ride
Let q = We will go shopping
--
P -> Q
~ Q
-----
therefore P
This is valid since p is assumed to be true
---