Remove mention of "contradiction" from epsilon-delta limit proofs

These are direct proofs using the definition of the limit and involve no contradiction.
openwebwork · Jul 17, 2024 · 3d6c7cf · 3d6c7cf
1 parent badd0e4
commit 3d6c7cf
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}.\]