How to use the Proof Explanation Tool.
Explain why each step follows, including the assumptions being used. Restating symbolic lines in words is not enough to clarify a proof.
Make the workflow fit your task.
Identify the claim, assumptions and reason behind each proof step. Explain how the argument reaches the conclusion and distinguish a general proof from an example that only illustrates the statement.
- What you provide
- Mathematical proof text.
- What you get
- Step-by-step explanation of reasoning and dependencies.
See the input and the result.
Illustrative input and output · a teaching example, not a live WebAct run
Example input
Explain why the sum of two even integers is even.
Completed example
An even integer can be written as 2 times an integer. Let the two numbers be 2m and 2n, where m and n are integers. Their sum is 2m + 2n = 2(m + n). Since m + n is an integer, the sum is divisible by 2 and is therefore even.
Load this input into the prompt, then copy it to WebAct to try the task. Your result may differ from the illustration.
Decisions and troubleshooting.
Can several successful examples prove a universal claim?
Examples can build intuition, but a universal claim needs an argument covering all permitted cases or an appropriate proof method.
Why does the explanation merely restate the symbols?
Name the rule or assumption that justifies each transition. The missing connection is often more important than translating notation into words.
Try it with your own source.
Replace the example with your material in the task prompt. Keep the requirements you need, then copy the task into WebAct.
Customize and copy the task ↑