Proof: Do Convert Stmt 27

Let's prove the following theorem:

if statement at line 2, tab 0 = locations["ES"] = "Spain", then statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")

Proof:

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

Given
1 statement at line 2, tab 0 = locations["ES"] = "Spain"
Proof Table
# Claim Reason
1 locations["ES"] = "Spain" = __setitem__(locations, "ES", "Spain") locations["ES"] = "Spain" = __setitem__(locations, "ES", "Spain")
2 statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain") if statement at line 2, tab 0 = locations["ES"] = "Spain" and locations["ES"] = "Spain" = __setitem__(locations, "ES", "Spain"), then statement at line 2, tab 0 = __setitem__(locations, "ES", "Spain")

Comments

Please log in to add comments