Proof to Grade

1. The problem statement, all variables and given/known data
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 [tex] A \subseteq B [/tex] and [tex] B \subseteq C [/tex], then [tex] A \subseteq C [/tex].

Jacobpm64, there is a slight problem with your 'way of saying it'. You start by saying "let [itex] x \in A [/itex]". What happens if A is empty? You would need to either include a separate (very simple) proof for the case that A is empty or start with "If [itex] x \in A [/itex]" as was done in the given proof. That way, if A is empty, the hypothesis is false and the implication is "vacuously true".

The only thing I might do with Jacobpm64's proof is changing the word "let" to "assume". "Let" suggests the thing you're doing is known to be possible, while "assume" is more hypothetical. But this is just the way these words are usually used (at least in my experience), and I wouldn't take any credit off either proof.