(5.1)--5.1-CutsansStrongCutsPart1.pdf

《(5.1)--5.1-CutsansStrongCutsPart1.pdf》由会员分享，可在线阅读，更多相关《(5.1)--5.1-CutsansStrongCutsPart1.pdf（9页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

5.15.1 Cuts and Strong Cuts:Part 1Cuts and Strong Cuts:Part 1 Let Let ,.-cut of cut of =|().-strong cut of strong cut of =.Theorem Theorem 1 1 Let Let ,.Then Then .ProofProof =|()=.Theorem Theorem 2 2 Let Let ,.If.If ,then,then ,.ProofProof =|()=.Theorem 3Theorem 3 Let Let ,.If.If ,then,then .ProofProof ,.Prove that Prove that .Theorem Theorem 4 4 Let Let,.If If ,thenthen ,.ProofProof ()().Theorem Theorem 5 5 Let Let ,.Then.Then ()=(),()=().Prove Prove t that hat()=().Proof Proof ()()().