Dub 1 - 2.7wnds:Windows XP5.

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

View Full Document Right Arrow Icon
2.7wnds:Windows XP5.1FchFC1256010466859D1256011244187newFormat {p=proof{p{s(i{r&1;})r{u=uProof;s=proof;}o{c=1;s="";l="";d@}u{t()}f(t{s(i{r=fol{t=" ~(B $ A)";b()g=@;}})r{u=uPremise;s=step;}o=fol_fst{c=1;s="";l="";[email protected]=1;}u{t()}},t{s(i{r=f ol{t="~B";b()g=@;}})r&15;o=fol_fst{c=1;s="";l="";[email protected]=1;}u{t()}},t{s(i{r=fol{t="~(B $ ~C)";b()g=@;}})r&15;o=fol_fst{c=1;s="";l="";[email protected]=1;}u{t()}},p{s(i{r&1;})r&5;o&6;u{t( )}f(t{s(i{r=fol{t="A | (C $ (B $ A))";b()g=@;}})r&15;o=fol_fst{c=1;s="";l="";[email protected]=1;}u{t()}},p{s(i{r&1;})r&5;o&6;u{t( )}f(t{s(i{r=fol{t=A;b()g=@;}})r&15; ;})r&5;o&6;u{t()}f(t{s(i{r=fol{t=B;b()g=@;}})r&15;o=fol_fst{c=1;s="";l="";[email protected]=1;}u{ t()}},t{s(i{r=fol{t=A;b()g=@;}})r{u=uReit;s=fol;}o=fol_fst{c=1;s="";l="";[email protected]=1;}u{t (p{si&57;ss=3.1.0;})}})},t{s(i{r=fol{t="B $ A";b()g=@;}})r{u="u\u2192 Intro";s=fol;}o=fol_fst{c=1;s="";l="";[email protected]=1;}u{t(p{si&65;ss=3.1.1.;})}},t{s(i{r=fol {t="^";b()g=@;}})r{u="u\u22A5 Intro";s=fol;}o=fol_fst{c=1;s="";l="";[email protected]=1;}u{t(p{si&12;ss=0;},p{si&89;ss=3.1.2;})
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/14/2009 for the course INTRO TO L 730:201 taught by Professor Professor during the Spring '09 term at Rutgers.

Ask a homework question - tutors are online