反例证明与命题验证

GeoGebra 命令及参数

1. LaTeX(steps) → counter
2. Corner(1) → A
3. Corner(3) → B
4. LaTeX("\text{Determine a counterexample.}") → text1
5. LaTeX("\text{A counterexample is an example that disproves the conjecture.}") → text2
6. LaTeX("\text{Think of an example of a person who lives in America but is not an American.}") → text3
7. LaTeX("\text{A Korean foreign-exchange student would be an example of someone who lives in}\cr\text{America but is not an American.}") → text4
8. LaTeX("\text{Determine the truth value of the original conjecture.}") → text6
9. LaTeX("\text{Since a counterexample was found, this means that there is at least one example}\cr\text{where this statement is not true.}") → text7
10. LaTeX("\text{Therefore, the statement “If a person lives in America, then he or she is an}\cr\text{American” is false.}") → text8
11. LaTeX("\text{Move the slider to solve the problem.}") → text0
12. LaTeX("\text{A Korean foreign-exchange student is a counterexample for the conjecture}\cr\text{“If a person lives in America, then he or she is an American.”}") → text5
13. LaTeX("\text{“If a person lives in America, then he or she is an American.”}") → Problem