Prova:
{ true } [atribui(a, num(5)), atribui(b, num(6))] { ( a = 6 ) } { true } [atribui(a, num(5))] { true } { true } [atribui(b, num(6))] { ( a = 6 ) } { true } [atribui(b, num(6))] { true } ( true => ( a = 6 ) )Sentenças a serem provadas:
( true => ( a = 6 ) )Prova:
{ true } [atribui(a, num(5)), atribui(b, num(6))] { ( a = 6 ) } { true } [atribui(a, num(5))] { ( a = 6 ) } ( true => ( 5 = 6 ) ) { ( 5 = 6 ) } [atribui(a, num(5))] { ( a = 6 ) } { ( a = 6 ) } [atribui(b, num(6))] { ( a = 6 ) }Sentenças a serem provadas:
( true => ( 5 = 6 ) )