Merge pull request #1164 from d-torrance/limit-proofs

Remove mention of "contradiction" from epsilon-delta limit proofs
openwebwork · Aug 13, 2024 · dd0bcaa · dd0bcaa
2 parents 5ee313e + 3d6c7cf
commit dd0bcaa
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git a/OpenProblemLibrary/MC/Proofs/DirectProofs/EpsilonDeltaLimit.pg b/OpenProblemLibrary/MC/Proofs/DirectProofs/EpsilonDeltaLimit.pg
@@ -70,10 +70,4 @@ END_TEXT
 
 ANS($CorrectProof->cmp);
 
-$showHint=2;
-BEGIN_HINT
-To show \(P \implies Q\) by contradiction, start by assuming \(P\) and \( \sim Q\).
-END_HINT
-
-
 ENDDOCUMENT();
diff --git a/OpenProblemLibrary/MC/Proofs/DirectProofs/EpsilonDeltaLimitLinear.pg b/OpenProblemLibrary/MC/Proofs/DirectProofs/EpsilonDeltaLimitLinear.pg
@@ -56,7 +56,7 @@ $CorrectProof = DraggableProof([
 
 
 BEGIN_TEXT
-Order \{ $CorrectProof->numNeeded \} of the following sentences so that they form a logical proof by $BBOLD contradiction $EBOLD of the statement:
+Order \{ $CorrectProof->numNeeded \} of the following sentences so that they form a logical proof of the statement:
 $PAR
 $BCENTER $BITALIC
 \[ \displaystyle{\lim_{x \rightarrow $a} $f = $L}.\]