Proof: Do Convert Stmt 42

Let's prove the following theorem:

if statement at line 6, tab 2 = self.x = self.x + 5, then statement at line 6, tab 2 = self."x" = __add__(self.x, 5)

Proof:

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

Given

1	statement at line 6, tab 2 = `self.x = self.x + 5`

Proof Table

#	Claim	Reason
1	expression `self.x` + 5 = `__add__(self.x, 5)`	expression `self.x` + 5 = `__add__(self.x, 5)` (Addition To Function Call Rule)
2	`self.x = self.x + 5` = `self.x = __add__(self.x, 5)`	if expression `self.x` + 5 = `__add__(self.x, 5)`, then `self.x = self.x + 5` = `self.x = __add__(self.x, 5)` (Substitution)
3	`self.x = __add__(self.x, 5)` = self."x" = `__add__(self.x, 5)`	`self.x = __add__(self.x, 5)` = self."x" = `__add__(self.x, 5)` (Set Attribute Conversion Property)
4	`self.x = self.x + 5` = self."x" = `__add__(self.x, 5)`	if `self.x = self.x + 5` = `self.x = __add__(self.x, 5)` and `self.x = __add__(self.x, 5)` = self."x" = `__add__(self.x, 5)`, then `self.x = self.x + 5` = self."x" = `__add__(self.x, 5)` (Transitive Property of Equality)
5	statement at line 6, tab 2 = self."x" = `__add__(self.x, 5)`	if statement at line 6, tab 2 = `self.x = self.x + 5` and `self.x = self.x + 5` = self."x" = `__add__(self.x, 5)`, then statement at line 6, tab 2 = self."x" = `__add__(self.x, 5)` (Transitive Property of Equality)

Comments

Please log in to add comments