Proof: Do Has Key 39 100

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	map [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] contains key "move" = map [ ] contains key "move"	map [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] contains key "move" = map [ ] contains key "move" (Map Has Key Continue Property)
2	map [ ] contains key "move" = False	map [ ] contains key "move" = False (Empty Map Has Key Property)
3	map [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] contains key "move" = False	if map [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] contains key "move" = map [ ] contains key "move" and map [ ] contains key "move" = False, then map [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] contains key "move" = False (Transitive Property of Equality)

Comments

Please log in to add comments