Proof: Do Convert Stmt 72

Let's prove the following theorem:

if statement at line 9, tab 2 = self.y = 5, then statement at line 9, tab 2 = self."y" = 5

Proof:

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

Given
1 statement at line 9, tab 2 = self.y = 5
Proof Table
# Claim Reason
1 self.y = 5 = self."y" = 5 self.y = 5 = self."y" = 5
2 statement at line 9, tab 2 = self."y" = 5 if statement at line 9, tab 2 = self.y = 5 and self.y = 5 = self."y" = 5, then statement at line 9, tab 2 = self."y" = 5

Comments

Please log in to add comments