Week 12 Problems

仿照 Week 11 Problems 中的例题，完成题目

T1

画出课本定理4.6.3的证明构造过程

\[\vdash \forall xP(x) \rightarrow \exists xP(x) \]

T2

画出课本定理4.6.12的证明构造过程

\[\forall x(P(x)\rightarrow Q(x))\rightarrow (\exists xP(x)\rightarrow \exists xQ(x))\]