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