Week 11 Problems

仿照如下課本定理4.3.36的證明構造，完成題目

T1

畫出課本定理4.3.16的證明構造過程

\[\vdash (\neg Q\rightarrow Q)\rightarrow(R\rightarrow Q) \]

T2

畫出Peirce定理的證明構造過程

\[\vdash ((A\rightarrow B)\rightarrow A )\rightarrow A \]