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