Logic workspace

Proof Builder

Construct a rigorous proof by arranging statements into a valid sequence.

Claim

If is even, then is even.

Build the proof by selecting statements from the toolbox.

No statements added yet.

Add statements in the order that proves the claim.

Toolbox

Available Steps