
1) Disproof 2) Falsification 3) Reductio ad absurdum 4) Refutation
Found on
https://www.crosswordclues.com/clue/reductio

Reductio is open source software written using the Java Programming Language from an idea that originated in a research paper called QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. Reductio and QuickCheck utilise a testing technique called Automated Specification-based Testing. The primary objective of Reductio is to make te...
Found on
http://en.wikipedia.org/wiki/Reductio
No exact match found.