Prova:

{ ( 0 = 0 ) } [atribui(a, num(5)), skip] { true } { ( 0 = 0 ) } [atribui(a, num(5))] { true } { ( 0 = 0 ) } [atribui(a, num(5))] { ( 0 = 0 ) } ( ( 0 = 0 ) => true ) { true } [skip] { true }

Sentenças a serem provadas:

( ( 0 = 0 ) => true )