Proof8.48c - 2.1wnds:Windows XP5.1FchF

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

View Full Document Right Arrow Icon
2.1wnds:Windows XP5.1FchF C973987674260D973988034510C986242602970D986242696670D986242767640C1075595242968D107 5595767234C1075600943218D1075601278484newFormat {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=" Small(a) & (Medium(b) | Large(c))";b&8;g="";}})r{u=uPremise;s=step;}o{c=1;s="";l="";d@}u{t&8;}},t{s(i{r=fol {t="Medium(b) $ FrontOf(a, b)";b&8;g="";}})r&14;o{c=1;s="";l="";d@}u{t&8;}},t{s(i{r=fol{t="Large(c) $ Tet(c)";b&8;g="";}})r&14;o{c=1;s="";l="";d@}u{t&8;}},t{s(i{r=fol{t="Medium(b) | Large(c)";b&8;g=@;}})r{u="u\u2227 Elim";s=fol;}o=fol_fst{c=1;s="";l="";d@f=1;}u{t(p{si&12;ss=0;})}},p{s(i{r&1;})r&5;o &6;u{t&8;}f(t{s(i{r=fol{t="~Tet(c)";b&8;g=@;}})r&14;o=fol_fst{c=1;s="";l="";d@f=1;} u{t&8;}},p{s(i{r&1;})r&5;o&6;u{t&8;}f(t{s(i{r=fol{t="Medium(b)";b&8;g=@;}})r&14;o=f ol_fst{c=1;s="";l="";d@f=1;}u{t&8;}},t{s(i{r=fol{t="FrontOf(a, b)";b&8;g=@;}})r{u="u\u2192 Elim";s=fol;}o=fol_fst{c=1;s="";l="";d@f=1;}u{t(p{si&56;ss=4.1.0;},p{si&19;ss=1;})} })},p{s(i{r&1;})r&5;o&6;u{t&8;}f(t{s(i{r=fol{t="Large(c)";b&8;g=@;}})r&14;o=fol_fst
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