Chapter 5, Tutorial 2
Trusting Rules: Ampersand Introduction and Elimination

So far we have only three rules of deduction. You will have noticed that we did not add AC or DA. Why not?