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 )