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