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 )