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