Prova:

{ ( 5 = 4 ) } [atribui(A, num(5))] { ( A = 4 ) }

Prova:

{ ( 5 = 4 ) } [atribui(A, num(5))] { ( A = 4 ) } { ( 5 = 4 ) } [atribui(A, num(5))] { ( 5 = 4 ) } ( ( 5 = 4 ) => ( A = 4 ) )

Sentenças a serem provadas:

( ( 5 = 4 ) => ( A = 4 ) )