[ajuc]

Yes it is.

http://en.wikipedia.org/wiki/Reductio_ad_absurdum

Examples in math abounds.

[varjag]

You live and you learn. I only knew it as proof by contradiction, didn't realize it's actually the same thing.