Proof: Do Convert Stmt 34

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments