Proof: Do Convert Stmt 42

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	self.age = age = self."age" = age	self.age = age = self."age" = age (Set Attribute Conversion Property)
2	statement at line 5, tab 2 = self."age" = age	if statement at line 5, tab 2 = self.age = age and self.age = age = self."age" = age, then statement at line 5, tab 2 = self."age" = age (Transitive Property of Equality)

Comments

Please log in to add comments