Proof6.33simpler -...

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

View Full Document Right Arrow Icon
1.1wnds:Windows 954.10FchF C972693394890D972693650240D972693760140D972693808750C972693818970D972693983250 newFormat {p=proof{p{s()r{u=uProof;s=proof;}o{c=1;s="";l="";}f(t{s(i{r=fol{t="";b()g="";}})r{ u=uPremise;s=proof;}o{c=1;s="";l="";}s()},p{s()r{u=uProof;s=proof;}o{c=1;s="";l=""; }f(t{s(i{r=fol{t="~(P | ~P)";b()g="";}})r{u=uPremise;s=proof;}o{c=1;s="";l="";}s()},p{s()r{u=uProof;s=proof ;}o{c=1;s="";l="";}f(t{s(i{r=fol{t=P;b()g="";}})r{u=uPremise;s=proof;}o{c=1;s="";l= "";}s()},t{s(i{r=fol{t="P | ~P";b()g="";}})r{u="u\u2228 Intro";s=fol;}o{c=1;s="";l="";}s(s=1.1.0;)},t{s(i{r=fol{t="^";b()g="";}})r{u="u\u22 A5 Intro";s=fol;}o{c=1;s="";l="";}s(s=1.1.1;,s=1.0;)})},t{s(i{r=fol{t="~P";b()g="";}}) r{u="u\254 Intro";s=fol;}o{c=1;s="";l="";}s(s=1.1.;)},t{s(i{r=fol{t="P |
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ~P";b()g=@;}})r{u="u\u2228 Intro";s=fol;}o{c=1;s="";l="";}s(s=1.2;)},t{s(i{r=fol{t="^";b()g=@;}})r{u="u\u22A5 Intro";s=fol;}o{c=1;s="";l="";}s(s=1.0;,s=1.3;)})},t{s(i{r=fol{t="~~(P | ~P)";b()g="";}})r{u="u\254 Intro";s=fol;}o{c=1;s="";l="";}s(s=1.;)},t{s(i{r=fol{t="P | ~P";b()g="";}})r{u="u\254 Elim";s=fol;}o{c=1;s="";l="";}s(s=2;)})}g{g(s{g{r=fol{t="P | ~P";b()c(l{n="t/f Connectives";a=true;},l{n=Identity;a=true;},l{n=Quantifiers;a=true;},l{n=ExMidd;a=f alse;},l{n=TwoTaut;a=false;},l{n=TautCon;a=false;},l{n="FO Con";a=false;},l{n=BabyAna;a=false;},l{n=TwoMore;a=false;},l{n=AnaCon;a=false;})g=" ";}}r{u=uFOLGoalRule;s=fol;}s(s=3;)o{c=1;s="The goal checks out.";l="The goal checks out.";}})}a=false;}}c=121715;...
View Full Document

Ask a homework question - tutors are online