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