Ch6Ex2b -...

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

View Full Document Right Arrow Icon
1.2wnds:Windows 954.10FchF C971368126520D971368847360D971369035540D971369416340C983162038570D983162461610C9832 19486570D983219587420C983219660740D983219696120newFormat {p=proof{p{s()r{u=uProof;s=proof;}o{c=0;s="";l="";}f(t{s(i{r=fol{t="(A & ~B) | (C | D)";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t="~C & B";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},p{s()r{u=uProof;s=proof;}o {c=0;s="";l="";}f(t{s(i{r=fol{t="A & ~B";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t="";b()g=@;} })r{u="uRule?";s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t=D;b()g=@;}})r{u="uRule? ";s=proof;}o{c=0;s="";l="";}s()})},p{s()r{u=uProof;s=proof;}o{c=0;s="";l="";}f(t{s( i{r=fol{t=C;b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t="";
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: b()g=@;}})r{u="uRule?";s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t=D;b()g=@;}})r{u ="uRule?";s=proof;}o{c=0;s="";l="";}s()})},p{s()r{u=uProof;s=proof;}o{c=0;s="";l="" ;}f(t{s(i{r=fol{t=D;b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()})},t{s(i{r =fol{t=D;b()g=@;}})r{u="u\u2228 Elim";s=fol;}o{c=0;s="";l="";}s(s=0;,s=2.;,s=3.;,s=4.;)},p{s()r{u=uProof;s=proof;}o {c=0;s="";l="";}f(t{s(i{r=fol{t="~D";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l=" ";}s()},t{s(i{r=fol{t="^";b()g=@;}})r{u="u\u22A5 Intro";s=fol;}o{c=0;s="";l="";}s(s=5;,s=6.0;)})},t{s(i{r=fol{t="~~D";b()g=@;}})r{u= "u\254 Intro";s=fol;}o{c=0;s="";l="";}s(s=6.;)})}g{g(s{g{r=fol{t="~~D";b()g=@;}}r{u=uFOLGo alRule;s=fol;}s()o{c=0;s="";l="";}})}a=true;}}c=122131;...
View Full Document

This note was uploaded on 09/17/2011 for the course PHILOSOPHY 250 taught by Professor Neiltennant during the Spring '11 term at Ohio State.

Ask a homework question - tutors are online