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 ) )