Deduction with Compound Proposition