# Proof to Grade (subsets)

Printable View

• Sep 16th 2007, 05:00 PM
Jacobpm64
Proof to Grade (subsets)
Assign a grade of A (excellent) if the claim and proof are correct, even if the proof is not the simplest or the proof you would have given. Assign an F (failure) if the claim is incorrect, if the main idea of the proof is incorrect, or if most of the statements in it are incorrect. Assign a grade of C (partial credit) for a proof that is largely correct, but contains one or two incorrect statements or justifications. Whenever the proof is incorrect, explain your grade. Tell what is incorrect and why.

Claim: If A, B, and C are sets, and $A \subseteq B$ and $B \subseteq C$, then $A \subseteq C$.

Proof: Suppose x is any object. If $x \in A$, then $x \in B$, since $A \subseteq B$. If $x \in B$, then $x \in C$, since $B \subseteq C$. Therefore $x \in C$. Therefore $A \subseteq C$.

I do not know which grade to give this proof. It looks like it has the right idea, but its wording seems to be a bit shaky. I was told by my instructor not to use "if, then" statements within a proof. Also, the usage of therefore twice seems a bit shaky. Is this enough to give the proof a C? Besides the shakiness in words, it seems as though the proof as the correct idea. The person assumed the hypothesis and derived the conclusion (a typical direct proof).

Thanks in advance.
• Sep 16th 2007, 06:46 PM
ThePerfectHacker
Quote:

Originally Posted by Jacobpm64
Assign a grade of A (excellent) if the claim and proof are correct, even if the proof is not the simplest or the proof you would have given. Assign an F (failure) if the claim is incorrect, if the main idea of the proof is incorrect, or if most of the statements in it are incorrect. Assign a grade of C (partial credit) for a proof that is largely correct, but contains one or two incorrect statements or justifications. Whenever the proof is incorrect, explain your grade. Tell what is incorrect and why.

Claim: If A, B, and C are sets, and $A \subseteq B$ and $B \subseteq C$, then $A \subseteq C$.

Proof: Suppose x is any object. If $x \in A$, then $x \in B$, since $A \subseteq B$. If $x \in B$, then $x \in C$, since $B \subseteq C$. Therefore $x \in C$. Therefore $A \subseteq C$.

I do not know which grade to give this proof. It looks like it has the right idea, but its wording seems to be a bit shaky. I was told by my instructor not to use "if, then" statements within a proof. Also, the usage of therefore twice seems a bit shaky. Is this enough to give the proof a C? Besides the shakiness in words, it seems as though the proof as the correct idea. The person assumed the hypothesis and derived the conclusion (a typical direct proof).

Thanks in advance.

It looks good.
• Sep 16th 2007, 06:48 PM
Jacobpm64
Yeah, so I can give it an A right?
• Sep 16th 2007, 06:57 PM
Plato
Quote:

Originally Posted by Jacobpm64
Yeah, so I can give it an A right?

I agree. The proof is correct.
• Sep 16th 2007, 06:58 PM
Jacobpm64
Okay, thanks a lot both of you.