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