Prove the validity of the following sequences, assuming the binding priority of the connectives covered in class:

Exercise 1.2 1. [12pt] Prove the validity of the following sequents, assuming the binding priority of the connectives covered in class: (a) (piq) Ar, satqis (c) (p^q) Ar+p^q^r) (i) (p+r)^(q + r) p19- 6) r+(pq) ( p r) op 9.r SpArqAs (rp an (p 9) (p=r) Exercise 1.2 1. [12pt] Prove the validity of the following sequents, assuming the binding priority of the connectives covered in class: (a) (piq) Ar, satqis (c) (p^q) Ar+p^q^r) (i) (p+r)^(q + r) p19- 6) r+(pq) ( p r) op 9.r SpArqAs (rp an (p 9) (p=r)