Proof: Do Convert Stmt 17

Let's prove the following theorem:

if statement at line 3, tab 2 = self.x = 0, then statement at line 3, tab 2 = self."x" = 0

Proof:

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

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

Comments

Please log in to add comments