[pjbrow]

Yep, the logic text book that I learnt it from. Just google "inductive logic prove negative" to check out a few articles on it.