My answer is similar to this except I assumed an existential claim to already be true and i'm not sure if I also have to prove the claim that I assumed before writing the body of the entire proof.
Sunday, February 24, 2013
Week 6: Upcoming Reading Week
Sorry for the late entry on the this about lessons prior to reading week, I've been a little busy this week. I have also looked at the 2nd assignment, but i started to work on this weeks tutorial worksheet and I finished the first question which seemed simple, however i'm not sure about the structuring of my proof where you can just assume an existential claim when it is the antecedent of the entire statement however it is similar to the example in class about n being odd and n squared also being odd. (picture of proof below):
My answer is similar to this except I assumed an existential claim to already be true and i'm not sure if I also have to prove the claim that I assumed before writing the body of the entire proof.
My answer is similar to this except I assumed an existential claim to already be true and i'm not sure if I also have to prove the claim that I assumed before writing the body of the entire proof.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment