Part 3 (one point total). For each of the following sequents, provide a proof that demonstrates their validity. You may use the implication rules, but for some sequents, you may be instructed to avoid using a particular rule. If you're reading ahead, you are still not allowed to replacement rules. 1. AB, B+C FAC --- Prove this without HS! 2. AB, B-C, DEA&DE&C 3. -AVB, -BVC, -DVEA&DE&C 4. -AVB, -DVEF (A>B)&( DE) 5. ( AB)-((B+C)&( DE)), A+-AVBA&DE&B 6. P+Q,-01-P --- Prove this without MT! 7. PQ&R, -QF up 8. P+Q, QR, RP, -P-Q 9. P&-P10 10. PQ, Q-PTPD