Proof6.41 - 1.2wnds:Windows 954.10FchF

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
1.2wnds:Windows 954.10FchF C972959224200D972961757630C983070597020D983070644970C983073208890D983073238050D9830 73743860C983159441970D983159556600C983218830270D983218900080newFormat {p=proof{p{s()r{u=uProof;s=proof;}o{c=1;s="";l="";}f(t{s(i{r=fol{t="";b()g="";}})r{ u=uPremise;s=proof;}o{c=1;s="";l="";}s()},p{s()r{u=uProof;s=proof;}o{c=1;s="";l=""; }f(t{s(i{r=fol{t="A & B";b()g=@;}})r{u=uPremise;s=proof;}o{c=1;s="";l="";}s()},t{s(i{r=fol{t="(A & B) | ~A | ~B";b()g=@;}})r{u="u\u2228 Intro";s=fol;}o{c=1;s="";l="";}s(s=1.0;)})},p{s()r{u=uProof;s=proof;}o{c=1;s="";l=" ";}f(t{s(i{r=fol{t="~(A & B)";b()g=@;}})r{u=uPremise;s=proof;}o{c=1;s="";l="";}s()},p{s()r{u=uProof;s=proof;} o{c=1;s="";l="";}f(t{s(i{r=fol{t="~(~A | ~B)";b()g=@;}})r{u=uPremise;s=proof;}o{c=1;s="";l="";}s()},p{s()r{u=uProof;s=proof; }o{c=1;s="";l="";}f(t{s(i{r=fol{t="~A";b()g=@;}})r{u=uPremise;s=proof;}o{c=1;s="";l ="";}s()},t{s(i{r=fol{t="~A | ~B";b()g=@;}})r{u="u\u2228 Intro";s=fol;}o{c=0;s="";l="";}s(s=2.1.1.0;)},t{s(i{r=fol{t="^";b()g=@;}})r{u="u\u2
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.
Ask a homework question - tutors are online