1.6 Simple deductive proofs

Complete and Continue