Using the definition of substitution instance just given, decide whether the statements under each form are substitution instances of that form.

@ (3) p (9.1) a. A(B.- C) b. A ~(B-C) c. AD ~~(B.C) d. (A.B) - (A.B) e. (A vB) - (( AB) C) f. (AB) - (AV(B.C)) (4) p ( gr) a. AAA) b. ( AB) C c. C (BB) d. ( AB) (AB) e. (A ( BC)) (( AB) ( AC)) f. ( AB) (C (AB) (AC))) Selet 140 Unit 7 The Proof Method: Eight Basic Inference Rules (5) ~p~9 a. (A-B) b. -A-B (AB) (BA) d. ~AD (BC) e. (B-C) f. ~((B-C) (CB)) c. (6) (p)r a. (ADB) (AB) b. (A (BC)) (( AB) ( AC)) c. A (BC) ( AB) ( AC))) d. - ( AB) ( CC) e. (( AB) CC f. (( AB) CC *2 Whiali