Complex Reasoning, Analysis, Research Synthesis & Math
Quality 51/100

Scaffold a direct proof with explicit want-to-show steps

Produce a fully scaffolded direct proof that names its assumption, its goal, and its return to that goal.

A structured direct proof with labelled assume/want-to-show/reason/return moves and a completeness self-check.

Template

Role

proof-writing tutor

beginner
direct-proof
mathematical-derivation
mathematical-logic
pedagogy
proof-writing