Proof: Truth Propagation Property 2

Let's prove the following theorem:

if the following are true:
  • a
  • b = a

then b

Proof:

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

Given
1 a
2 b = a
Proof Table
# Claim Reason
1 a = b if b = a, then a = b
2 b if a and a = b, then b

Comments

Please log in to add comments