Prova:

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

Sentenças a serem provadas:

( a => ( a or not a ) )

Prova:

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

Sentenças a serem provadas:

( true => ( a or not a ) )

Prova:

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

Sentenças a serem provadas:

( true => ( true or not true ) )