1. Noun. (printing) The inverted image of an original proof. ¹
2. Noun. (logic) A proof that contradicts a given statement. ¹
¹ Source: wiktionary.com