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 )