Instructions Rules Use the first eight rules of inference to derive the conclusion of the symbolized argument below. GJ S T . V } [ ] MP MT HS DS CD Conj Add DM Com Assoc Simp Exp Dist DN Trans Imp! Equiv Taut ACP CP AIP IP PREMISE G ( ST) 2 PREMISE (SVT) DJ CONCLUSION 3 PREMISE G PREMISE 4 Submit Previous Next