Onko reductio ad absurdum pätevä?