In Intuitionistic Logic, you cannot rely on ad absurdum proofs (no law of excluded middle). However, people usually believe in classical logic where proving that something is false is easy: we just need to prove it is not true.
Yep, the logic text book that I learnt it from. Just google "inductive logic prove negative" to check out a few articles on it.