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