This question was asked in Ex 5.2, 2
Explanation of axioms and postulates 

Manoj Agarwal's image