conditions.5 -...

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

View Full Document Right Arrow Icon
2.7wnds:Windows Vista6.0FchFC1256068529237D1256071650086newFormat {p=proof{p{s(i{r&1;})r{u=uProof;s=proof;}o{c=0;s="";l="";d@}u{t()}f(t{s(i{r=fol{t=" ~(B$A)";b()g=@;}})r{u=uPremise;s=step;}o&6; 5;o&6;u{t()}},t{s(i{r=fol{t="~(B$~C)";b()g=@;}})r&15;o&6;u{t()}},p{s(i{r&1;})r&5; 6;u{t()}f(t{s(i{r=fol{t="~(A|(C$ (B$A)))";b()g=@;}})r&15;o&6;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;o&6;u{t()}},p{s(i{r&1;})r&5;o&6;u{t()}f(t{s(i{r=fol{t=B;b()g=@;}})r&15; o&6;u{t()}},t{s(i{r=fol{t=A;b()g=@;}})r{u=uReit;s=fol;}o=fol_fst{c=1;s="";l="";d@f= 1;}u{t(p{si&53;ss=3.1.0;})}})},t{s(i{r=fol{t="B$A";b()g=@;}})r{u="u\u2192
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Intro";s=fol;}o=fol_fst{c=1;s="";l="";d@f=1;}u{t(p{si&60;ss=3.1.1.;})}},t{s(i{r=fol {t="^";b()g=@;}})r{u="u\u22A5 Intro";s=fol;}o&6;u{t()}})},p{s(i{r&1;})r&5;o&6;u{t()}f(t{s(i{r=fol{t="C$ (B$A)";b()g=@;}})r&15;o&6;u{t()}},t{s(i{r=fol{t="";b()g=@;}})r{u="uRule?";s=step;}o &6;u{t()}},t{s(i{r=fol{t="";b()g=@;}})r&117;o&6;u{t()}},t{s(i{r=fol{t="^";b()g=@;}} )r&117;o&6;u{t()}})},t{s(i{r=fol{t="^";b()g=@;}})r{u="u\u2228 Elim";s=fol;}o&6;u{t()}})},t{s(i{r=fol{t="~(A|(C$(B$A)))";b()g=@;}})r{u="u\254 Intro";s=fol;}o&6;u{t(p{si&34;ss=3.;})}})}g{g()}a=true;}}c=100996;s=163743;...
View Full 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