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 ) )