Proof: Do Has Key 14 100

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments