Prova:

{ not a } [atribui(a, true)] { true } ( not a => true ) { true } [atribui(a, true)] { true }

Sentenças a serem provadas:

( not a => true )