Subtraction Example
Subtract Associative
Transitive Property of Equality Variation 2
Subtract to Zero
Subtract 1
Transitive Subtract 3

Proof: Transitive Subtract 3

Let's prove the following theorem:

if f = (a + b) - b, then f = a

Proof:

View as a tree | View dependent proofs | Try proving it

Given
1 f = (a + b) - b
Proof Table
# Claim Reason
1 (a + b) - b = a (a + b) - b = a
2 f = a if f = (a + b) - b and (a + b) - b = a, then f = a
Previous Lesson

Comments

Please log in to add comments