Proof 13.3 -...

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

View Full Document Right Arrow Icon
2.7wnds:Windows Vista6.1FchFC1244602285466D1244602598995D1244603224547newFormat {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=" @x(Cube(x))";b()g=@;}})r{u=uPremise;s=step;}o=fol_fst{c=1;s="";l="";d@f=1;}u{t()}}, t{s(i{r=fol{t="@x(Small(x))";b()g=@;}})r&15;o=fol_fst{c=1;s="";l="";d@f=1;}u{t()}}, p{s(i{r&1;})r&5;o&6;u{t()}f(t{s(i{r=fol{t="";b(s=a;)g=@;}})r&15;o=fol_fst{c=1;s=""; l="";d@f=1;}u{t()}},t{s(i{r=fol{t="Cube(a)";b()g=@;}})r{u="u\u2200
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Elim";s=fol;}o=fol_fst{c=1;s="";l="";d@f=1;}u{t(p{si&12;ss=0;})}},t{s(i{r=fol{t="Sm all(a)";b()g=@;}})r&46;o=fol_fst{c=1;s="";l="";d@f=1;}u{t(p{si&21;ss=1;})}},t{s(i{r =fol{t="Cube(a) & Small(a)";b()g=@;}})r{u="u\u2227 Intro";s=fol;}o=fol_fst{c=1;s="";l="";d@f=1;}u{t(p{si&53;ss=2.2;},p{si&43;ss=2.1;}) }})},t{s(i{r=fol{t="@x(Cube(x) & Small(x))";b()g=@;}})r{u="u\u2200 Intro";s=fol;}o=fol_fst{c=1;s="";l="";d@f=1;}u{t(p{si&29;ss=2.;})}})}g{g()}a=true;} }c=76705;s=122343;...
View Full Document

This note was uploaded on 09/24/2009 for the course PHIL 303 taught by Professor Staff during the Spring '08 term at University of Michigan.

Ask a homework question - tutors are online