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