Proof: Set Attribute Conversion Property Example

Let's prove the following theorem:

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

Code Editor
LW Python State
Current Line1Current Tab0Time0
LW Python Simulator

Proof:

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

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

Comments

Please log in to add comments