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