1. Consider the following propositions:
p: it is springtime
q:you will plant flowers in the garden
r:your yard will smell good
2. (p⇒q)∧(q⇒r) ≡ p⇒r
which means the two propositions above are logically equivalent, so our conclusion is : If it is springtime, the yard will smell good.
3. Compare the problem to this famous example: Socrates is human, humans are mortal, so Socrates is mortal.
