Proof: Do Convert Stmt 25

Let's prove the following theorem:

if statement at line 4, tab 2 = self.y = 0, then statement at line 4, tab 2 = self."y" = 0

Proof:

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

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

Comments

Please log in to add comments