Proof: Do Get Key Value 24 0

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	value at z in map [ entry x: 5, [ entry z: 8, [ ] ] ] = value at z in map [ entry z: 8, [ ] ]	value at z in map [ entry x: 5, [ entry z: 8, [ ] ] ] = value at z in map [ entry z: 8, [ ] ] (Get Map Entry Continue Property)
2	value at z in map [ entry z: 8, [ ] ] = 8	value at z in map [ entry z: 8, [ ] ] = 8 (Get Map Entry Property)
3	value at z in map [ entry x: 5, [ entry z: 8, [ ] ] ] = 8	if value at z in map [ entry x: 5, [ entry z: 8, [ ] ] ] = value at z in map [ entry z: 8, [ ] ] and value at z in map [ entry z: 8, [ ] ] = 8, then value at z in map [ entry x: 5, [ entry z: 8, [ ] ] ] = 8 (Transitive Property of Equality)

Comments

Please log in to add comments